Either print stuttering OR back to state at the end of a counterexample.
Either print stuttering OR back to state at the end of a counterexample.
lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus