Predicate memberInitialisesVariable

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