Predicate MemoryMayNotBeFreed::allocationDefinition

predicate allocationDefinition(LocalScopeVariable v, ControlFlowNode def)