A13: Nodes<Defn>  1:1-2:24  A1: TypDefn a  1:1-1:11  A0: AtomType INT  1:9-1:11  A12: TypDefn b  2:1-2:24  A11: StrType  2:9-2:24  A10: Nodes<CompDefn>  2:10-2:23  A9: CompDefn x  2:10-2:23  A8: StrType  2:13-2:23  A7: Nodes<CompDefn>  2:14-2:22  A6: CompDefn y  2:14-2:22  A5: StrType  2:17-2:22  A4: Nodes<CompDefn>  2:18-2:21  A3: CompDefn z  2:18-2:21  A2: NameType a  2:21-2:21