let gaddress_of_cvar tenv x off : (typ * data) = let tenv = if tenv.formals_in_pre && x.vformal then (env_at tenv Pre) else tenv in memory_offset tenv x.vtype (Loc (M.cvar (mem_at_env tenv) x)) off