SZS status Theorem for i/f/arithmetic/ADD__MONO__LESS__EQ
