Predicate initialises

predicate initialises(Constructor c, MemberVariable mv)