Predicate AV Rule 71::memberDirectlyNeedsVariable

predicate memberDirectlyNeedsVariable(MemberFunction mf, Class c, MemberVariable mv)