SZS status Theorem for i/f/hrat/TRAT__SUCINT_c0
