Member predicate AbstractValues::BooleanValue::getDualValue

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