SZS status Theorem for i/f/int_arith/restricted__quantification__simp
