method vlogic_var_use lv = match lv.lv_origin with | None -> SkipChildren | Some vi -> try let vi'= List.assq vi formals in ChangeTo (Cil.cvar_to_lvar vi') with Not_found -> SkipChildren