Exit ports must have at least one unconditional path to a state

Exit ports without unconditional paths to states can result in state inconsistency errors


sflint