Predicate MemoryMayNotBeFreed::allocatedVariableReaches

The value from allocation def is still held in Variable v upon entering node.

predicate allocatedVariableReaches(LocalScopeVariable v, ControlFlowNode def, ControlFlowNode node)