SZS status Theorem for i/f/pred_set/REL__RESTRICT__EMPTY
