% SZS status Timeout for IS__EMPTY__def_
