SZS status Theorem for i/f/pred_set/DELETE__NON__ELEMENT__RWT
