Predicate AV Rule 71::preInitialises

predicate preInitialises(Constructor c, MemberVariable mv)