let equal a b =
match a,b with
| Cv a, Cv b -> Cil_datatype.Varinfo.equal a b
| Lv a, Lv b -> Cil_datatype.Logic_var.equal a b
| Prop, Prop -> true
| _ , _ -> false