A16: Nodes<Defn>  2:1-3:24  A7: TypDefn t1  2:1-2:24  A6: StrType  2:10-2:24  A5: Nodes<CompDefn>  2:11-2:23  A1: CompDefn i  2:11-2:15  A0: AtomType INT  2:13-2:15  A4: CompDefn n  2:18-2:23  A3: PtrType  2:21-2:23  A2: NameType t2  2:22-2:23  A15: TypDefn t2  3:1-3:24  A14: StrType  3:10-3:24  A13: Nodes<CompDefn>  3:11-3:23  A9: CompDefn j  3:11-3:15  A8: AtomType INT  3:13-3:15  A12: CompDefn n  3:18-3:23  A11: PtrType  3:21-3:23  A10: NameType t1  3:22-3:23