Cooler graph, removes unglued automata