Predicate AV Rule 71::memberNeedsVariable

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