let declare_variable_and_value name env value =
        let (env, uid) = declare_variable name env
        in set_constant_value env uid value; env