SZS status Theorem for i/f/EncodeVar/fixed__width__bool
