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