Predicate BoxedVariable::affectsOverload

Replacing the type of a boxed variable with the corresponding primitive type may affect overload resolution. If this is the case then the boxing is most likely intentional and it should not be reported as a violation.

predicate affectsOverload(LocalBoxedVar v)