let
rehash = map
Cil_datatype
.
StmtSet
.rehash