Characteristic predicate FileClosed::ClosedExpr::ClosedExpr

ClosedExpr()