Predicate AV Rule 71::memberDirectlyInitialisesVariable

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