CounterInitPastHolds

TLC reached 0 states and 0 steps. The chart draws 0 states and 0 arrows. Every initial state is outside the constraints, so TLC explores none of them.

Rules that holdCopy Anchor Link

Pos, NoDeadlock