Predicate memberDirectlyInitialisesVariable

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