SZS status Theorem for i/f/tc/TC__MOD__EMPTY__ID
