Predicate AV Rule 71::memberInitialisesVariable

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