LOCAL psto : BAG  OF  INTEGER  := [ ] ; ssto : BAG OF  INTEGER  := [ ] ; sto : SET OF stratum_technology_occurrence_armx := get_stack ( input ) ; i : INTEGER  := 0 ; j : INTEGER := 0 ; pass : BOOLEAN := TRUE ; END_LOCAL ; REPEAT  i := 1 TO  SIZEOF  ( sto ) BY  1 ; REPEAT j := 1 TO SIZEOF ( input ) BY 1 ; IF  ( input [ j ] . sto_1 :=: sto [ i ] ) THEN  psto [ i ] := psto [ i ] + 1 ; IF  ( psto [ i ] = 2 ) THEN  pass := FALSE  ; ESCAPE  ; END_IF  ; END_IF  ; IF  ( input [ j ] . sto_2 :=: sto [ i ] ) THEN  ssto [ i ] := ssto [ i ] + 1 ; IF ( ssto [ i ] = 2 ) THEN pass := FALSE ; ESCAPE ; END_IF  ; END_IF ; END_REPEAT  ; END_REPEAT ; RETURN ( pass ) ;