remove duplicate defn of dec_to_cenv

move it to semanticPrimitives