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 
                 | PropProp -> true 
                 | _ , _ -> false