Predicate AV Rule 71::initialises

predicate initialises(Constructor c, MemberVariable mv)