Predicate EmptyExcept::empty_except

predicate empty_except(ExceptStmt ex)