Entry junctions must have at least one unconditional path to a state

Entry junctions without unconditional paths to states can result in state inconsistency errors
Entry junction has no unconditional path to a state



sflint