Predicate DataFlowPrivate::callHasQualifier

Holds if call does not pass an implicit or explicit qualifier, i.e., a this parameter.

predicate callHasQualifier(Call call)