improved Automaton.minus(Automaton) method