Predicate memberDirectlyNeedsVariable

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