Fatal error: exception `Failure("nothing added")`
No transition is added to the automaton after an iteration of the fixpoint learning procedure. This causes the procedure to diverge.
No transition is added to the automaton after an iteration of the fixpoint learning procedure. This causes the procedure to diverge.