SZS status Theorem for i/f/intExtension/INT__ABS__CALCULATE__NEG
