Characteristic predicate Overflow::ArithExpr::ArithExpr

ArithExpr()