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