Added Library for Automaton comparison