Characteristic predicate MemoryFreed::FreedExpr::FreedExpr

FreedExpr()