SZS status Theorem for i/f/Decode/wf__dec2enc
