Junction must have an unconditional escape path from a cycle to a state or terminal junction


Junction has no unconditional escape path from a cycle to a state or terminal junction


sflint