SZS status Theorem for i/f/ind_type/ISO__REFL
