regenerated tests
split on disjuncts in confgraph

(the automaton check_tests/test11 works now)