A7: Nodes<Defn>  1:1-1:28  A6: TypDefn test  1:1-1:28  A5: StrType  1:12-1:28  A4: Nodes<CompDefn>  1:13-1:27  A1: CompDefn a  1:13-1:18  A0: AtomType INT  1:16-1:18  A3: CompDefn b  1:21-1:27  A2: AtomType CHAR  1:24-1:27