Path from exit port contains a terminal junction

Path from exit port contains a terminal junction
Paths from exit ports must terminate in states
Path from entry junction contains a terminal junction
Paths from entry junctions must terminate in states
Path from entry junction contains a terminal junction


sflint