Intersection method moved from IncompleteBuchiAutomaton to Intersection
automaton