Predicate IntegerConstant::add

Returns a + b. If either input is unknown, or if the addition overflows, the result is unknown.

IntValue add(IntValue a, IntValue b)