Characteristic predicate FreedExpr::FreedExpr

FreedExpr()