Characteristic predicate Expr::ArithmeticExpr::ArithmeticExpr

ArithmeticExpr()