Predicate MemoryMayNotBeFreed::assignedToFieldOrGlobal

predicate assignedToFieldOrGlobal(LocalScopeVariable v, Expr e)