let resolve_variable_value name env =
        let loc = resolve_variable name env
        in let uid = uid_from_loc loc
        in ( get_constant_value env uid, loc)