SZS status Theorem for i/f/EncodeVar/of__length__exists__zero
