Add --is-terminal automaton to autfilt
is_guarantee_automaton
is a simplified version of this feature.
We should have a similar function that uses is_complete_scc
instead of checking for a true self-loop.
is_guarantee_automaton
is a simplified version of this feature.
We should have a similar function that uses is_complete_scc
instead of checking for a true self-loop.