Predicate ArithmeticUncontrolled::sink

predicate sink(ArithExpr exp, VarAccess tainted, string effect)