Is-ambiguous: check whether the approach works with automata with spontaneous transitions
The code was not checking this precondition. See whether it actually works, or if a precondition must be added.
(Also applies to is-cycle-ambiguous).
The code was not checking this precondition. See whether it actually works, or if a precondition must be added.
(Also applies to is-cycle-ambiguous).