Predicate doesNotInitialise

predicate doesNotInitialise(Constructor c, MemberVariable mv)