PseudoState - WFR6 - A branch vertex must have one incoming transition segment and at least two outgoing transition segments ...