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);