let rehash = map Cil_datatype.StmtSet.rehash