A7: Nodes<Defn> 
 LOCATION 
 A6: TypDefn test 
 LOCATION 
 A5: StrType 
 LOCATION 
 A4: Nodes<CompDefn> 
 LOCATION 
 A1: CompDefn a 
 LOCATION 
 A0: AtomType INT 
 LOCATION 
 A3: CompDefn b 
 LOCATION 
 A2: AtomType CHAR 
 LOCATION