SZS status Theorem for i/f/tc/subTC__INSERT__COR
