A17: Nodes<Defn>   LOCATION   A16: VarDefn rav   LOCATION   A15: UniType   LOCATION   A14: Nodes<CompDefn>   LOCATION   A2: CompDefn a   LOCATION   A1: UniType   LOCATION   A0: Nodes<CompDefn>   LOCATION   A13: CompDefn b   LOCATION   A12: FunType   LOCATION   A11: Nodes<Type>   LOCATION   A9: UniType   LOCATION   A8: Nodes<CompDefn>   LOCATION   A7: CompDefn a   LOCATION   A6: StrType   LOCATION   A5: Nodes<CompDefn>   LOCATION   A4: CompDefn g   LOCATION   A3: AtomType INT   LOCATION   A10: AtomType BOOL   LOCATION