% SZS status Timeout for DIFF__ISCONST__E
