SZS status Theorem for i/f/int_bitwise/int__not__not
