A37: Nodes<Defn>  1:1-11:7  A1: VarDefn a  1:1-1:10  A0: AtomType INT  1:8-1:10  A3: VarDefn b  2:1-2:10  A2: AtomType INT  2:8-2:10  A36: DefFunDefn main  3:1-11:7  A33: Nodes<ParDefn>   A4: AtomType INT  3:13-3:15  A35: Exprs  4:5-11:7  A34: Nodes<Expr>  4:5-11:7  A7: AsgnExpr  4:5-4:9  A5: NameExpr a  4:5-4:5 defAt: A1 @ 1:1-1:10  A6: AtomExpr 0  4:9-4:9  A10: AsgnExpr  5:5-5:9  A8: NameExpr b  5:5-5:5 defAt: A3 @ 2:1-2:10  A9: AtomExpr 0  5:9-5:9  A32: WhileExpr  6:5-11:7  A13: BinExpr LTH  6:11-6:17  A11: NameExpr a  6:11-6:11 defAt: A1 @ 1:1-1:10  A12: AtomExpr 100  6:15-6:17  A31: Exprs  7:13-10:21  A30: Nodes<Expr>  7:13-10:21  A24: WhileExpr  7:13-9:15  A16: BinExpr LTH  7:19-7:28  A14: NameExpr b  7:19-7:19 defAt: A3 @ 2:1-2:10  A15: AtomExpr 100000  7:23-7:28  A23: Exprs  8:17-8:25  A22: Nodes<Expr>  8:17-8:25  A21: AsgnExpr  8:17-8:25  A17: NameExpr b  8:17-8:17 defAt: A3 @ 2:1-2:10  A20: BinExpr ADD  8:21-8:25  A18: NameExpr b  8:21-8:21 defAt: A3 @ 2:1-2:10  A19: AtomExpr 2  8:25-8:25  A29: AsgnExpr  10:13-10:21  A25: NameExpr a  10:13-10:13 defAt: A1 @ 1:1-1:10  A28: BinExpr ADD  10:17-10:21  A26: NameExpr a  10:17-10:17 defAt: A1 @ 1:1-1:10  A27: AtomExpr 1  10:21-10:21