Predicate AV Rule 71::doesNotInitialise

predicate doesNotInitialise(Constructor c, MemberVariable mv)