SZS status Theorem for i/f/pred_set/REL__RESTRICT__SUBSET
