method vlogic_var_use vi = if Cil_datatype.Logic_var.equal vi1 vi then ChangeTo vi2 else SkipChildren