let rename_pred v1 v2 p =
  let r =
  object
    inherit Visitor.frama_c_copy (Project.current())
    method vlogic_var_use v =
      if Cil_datatype.Logic_var.equal v v1 then Cil.ChangeTo v2 
      else Cil.JustCopy
  end
  in
  Visitor.visitFramacPredicateNamed r p