SZS status Theorem for i/f/EncodeVar/fixed__width__prod
