WYRL: added method Automaton.isomorphicTo() which needs to be completed.