A39: Nodes<Defn>  2:1-12:7  A1: VarDefn i  2:1-2:10  A0: AtomType INT  2:8-2:10  A3: VarDefn c  3:1-3:10  A2: AtomType INT  3:8-3:10  A38: DefFunDefn main  4:1-12:7  A35: Nodes<ParDefn>   A4: AtomType VOID  4:12-4:15  A37: Exprs  5:5-12:7  A36: Nodes<Expr>  5:5-12:7  A7: AsgnExpr  5:5-5:9  A5: NameExpr i  5:5-5:5 defAt: A1 @ 2:1-2:10  A6: AtomExpr 0  5:9-5:9  A10: AsgnExpr  6:5-6:14  A8: NameExpr c  6:5-6:5 defAt: A3 @ 3:1-3:10  A9: AtomExpr 345325  6:9-6:14  A34: WhileExpr  7:5-12:7  A13: BinExpr LTH  7:11-7:15  A11: NameExpr i  7:11-7:11 defAt: A1 @ 2:1-2:10  A12: NameExpr c  7:15-7:15 defAt: A3 @ 3:1-3:10  A33: Exprs  8:9-11:17  A32: Nodes<Expr>  8:9-11:17  A26: IfThenExpr  8:9-10:11  A18: BinExpr EQU  8:12-8:21  A16: BinExpr MOD  8:12-8:16  A14: NameExpr i  8:12-8:12 defAt: A1 @ 2:1-2:10  A15: AtomExpr 2  8:16-8:16  A17: AtomExpr 0  8:21-8:21  A25: Exprs  9:13-9:21  A24: Nodes<Expr>  9:13-9:21  A23: AsgnExpr  9:13-9:21  A19: NameExpr c  9:13-9:13 defAt: A3 @ 3:1-3:10  A22: BinExpr SUB  9:17-9:21  A20: NameExpr c  9:17-9:17 defAt: A3 @ 3:1-3:10  A21: AtomExpr 1  9:21-9:21  A31: AsgnExpr  11:9-11:17  A27: NameExpr i  11:9-11:9 defAt: A1 @ 2:1-2:10  A30: BinExpr ADD  11:13-11:17  A28: NameExpr i  11:13-11:13 defAt: A1 @ 2:1-2:10  A29: AtomExpr 1  11:17-11:17