let fupdate_at_label frame lab p =
    let env_here = env_at frame Clabels.Here in
    let env_lab = env_at frame lab in
    List.fold_left
      (fun p (vinfo,(x_var,_)) ->
         let x_here = get_funvar env_here vinfo in
         D.subst x_var (F.var x_here) p
      ) p !env_lab