intersection_nonemptiness (89B)
1 # Intersection nonemptiness 2 3 - [automaton_intersection_nonemptiness] 4 5 Up: [intersection]