WyRL: refactored the code for determining equivalences of two automaton states ahead of fixing #374
WyRL: fixed #374