SZS status Theorem for i/f/Decode/decode__dec2enc
