A15: Nodes<Defn>  2:1-6:8  A1: VarDefn i  2:1-2:11  A0: AtomType INT  2:9-2:11  A8: TypDefn s  3:1-3:22  A7: StrType  3:9-3:22  A6: Nodes<CompDefn>  3:10-3:21  A3: CompDefn i  3:10-3:14  A2: AtomType INT  3:12-3:14  A5: CompDefn j  3:17-3:21  A4: AtomType INT  3:19-3:21  A10: TypDefn s1  4:1-4:10  A9: NameType s  4:10-4:10 defAt: A8 @ 3:1-3:22  A12: TypDefn s2  5:1-5:11  A11: NameType s1  5:10-5:11 defAt: A10 @ 4:1-4:10  A14: VarDefn a  6:1-6:8  A13: NameType s2  6:7-6:8 defAt: A12 @ 5:1-5:11