A19: Nodes<Defn>   LOCATION   A18: DefFunDefn f   LOCATION   A15: Nodes<ParDefn>   LOCATION   A0: AtomType BOOL   LOCATION   A17: Exprs   LOCATION   A16: Nodes<Expr>   LOCATION   A14: CastExpr   LOCATION   A12: BinExpr SUB   LOCATION   A8: BinExpr ADD   LOCATION   A6: BinExpr ADD   LOCATION   A2: PfxExpr NOT   LOCATION   A1: NameExpr a   LOCATION   A5: BinExpr MUL   LOCATION   A3: NameExpr b   LOCATION   A4: NameExpr b   LOCATION   A7: NameExpr a   LOCATION   A11: BinExpr MOD   LOCATION   A9: NameExpr c   LOCATION   A10: AtomExpr 10   LOCATION   A13: AtomType INT   LOCATION