Member predicate AbstractValues::IntegerValue::getDualValue

Gets an abstract value that represents the dual of this value, if any.