Predicate memberNeedsVariable

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