Predicate AV Rule 71::reachableWithoutInitialising

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