let term_at env label exp _texp = let mem_lab = get_label_mem env label in subst_exp_mem (Lazy.force cur_mem_var) mem_lab exp