let hash = function 
                 | Cv v -> (Cil_datatype.Varinfo.hash v)*121
                 | Lv p -> (Cil_datatype.Logic_var.hash p)*147
                 | Prop -> 147