A19: Nodes<Defn>   LOCATION   A18: DefFunDefn f   LOCATION   A15: Nodes<ParDefn>   LOCATION   A0: AtomType VOID   LOCATION   A17: Exprs   LOCATION   A16: Nodes<Expr>   LOCATION   A14: AsgnExpr   LOCATION   A1: NameExpr a   LOCATION   A13: BinExpr OR   LOCATION   A2: NameExpr b   LOCATION   A12: BinExpr AND   LOCATION   A3: AtomExpr false   LOCATION   A11: BinExpr NEQ   LOCATION   A4: AtomExpr true   LOCATION   A10: BinExpr ADD   LOCATION   A5: AtomExpr false   LOCATION   A9: BinExpr MUL   LOCATION   A6: AtomExpr 2   LOCATION   A8: SfxExpr PTR   LOCATION   A7: AtomExpr 4   LOCATION