let
copy = map
Cil_datatype
.
StmtSet
.copy