Predicate MemoryFreed::allocMayBeFreed

predicate allocMayBeFreed(Expr alloc)