Predicate reachableWithoutInitialising

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