do_simul on automata with non-separated Fin/Inf
There is a discrepency in postproc.cc
where do_simul()
does not call the simulation if the automaton has overlapping Fin/Inf sets (there is a FIXME about this), but do_sba_simul()
does it.
I suspect it may also be possible that wrap_simul()
call of separate_sets_here()
raises an exception because it attempt to use too many colors. That probably should not be a reason to abort the translation.