stuttering algorithms and properties
The inplace versions of
closure() should call
a->prop_deterministic(false) whenever they modify the automaton, since the newly added edges break the determinism.
Is there a way we can write tests to avoid fogetting those steps in the future?
The same problem exist with