Cleaning on the synthesis manager.
Automaton analysis tried out.