Kraft Inequality and Zero-Error Source Coding with Decoder Side Information