delay_branching_here is bogus on state-based automata
Currently, delay_branching_here()
will merge the outgoing edges of some compatible pair of states even in automata with state-based acceptance. We are lucky that it is only called in transition-based contexts, but it would be much safer to fix it to deal with state-based automata as well.