Predicate exprInitialises

predicate exprInitialises(Constructor c, ControlFlowNode cf, MemberVariable mv)