PseudoState - WFR6 - Um vértice ramificado deve ter um segmento de transição de entrada e pelo menos dois segmentos de transição ...