method vlogic_var_use v = let postaction v = (* Restore consistency between C variable name and logical name *) opt_app (fun cv -> v.lv_name <- cv.vname) () v.lv_origin; v in ChangeDoChildrenPost(v,postaction)