Added contract to code-gen.rkt