SZS status Theorem for i/f/arithmetic/NOT__ZERO__LT__ZERO
