LOCAL vertex : SET OF bus_structural_definition_or_node := [ ] ; edge : INTEGER  := SIZEOF  ( input ) ; vc : INTEGER  := 0 ; vertex_degree : INTEGER := 0 ; END_LOCAL ; REPEAT  i := 1 TO  SIZEOF  ( input ) BY  1 ; vertex := vertex + input [ i ] . precedent_element ; vertex := vertex + input [ i ] . subsequent_element ; END_REPEAT  ; vc := SIZEOF  ( vertex ) ; IF  ( vc <> ( edge + 1 ) ) THEN  RETURN  ( FALSE  ) ; END_IF  ; REPEAT  i := 1 TO  vc BY  1 ; vertex_degree := 0 ; REPEAT j := 1 TO SIZEOF ( input ) BY 1 ; IF  input [ j ] . precedent_element = vertex [ i ] THEN  vertex_degree := vertex_degree + 1 ; END_IF  ; IF  input [ j ] . subsequent_element = vertex [ i ] THEN  vertex_degree := vertex_degree + 1 ; END_IF  ; END_REPEAT  ; IF ( vertex_degree > 2 ) THEN RETURN  ( FALSE ) ; END_IF ; END_REPEAT ; RETURN ( TRUE ) ;