Program

TLC reached 9 states and 15 steps. The chart draws 7 states and 10 arrows. The view hides 5 steps, so the chart does not draw them.

Rules that hold

PublishedOnlyVerified, FailedNeverPublished, PublicationIsTerminal, NoDeadlock