SZS status Theorem for i/f/bit/EXISTS__BIT__IN__RANGE
