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