Preemptively stop computation of initial states upon invariant violation (unless "-continue" flag).
Preemptively stop computation of initial states upon invariant violation
(unless "-continue" flag).

[Feature][TLC]
lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus