let copy = map Cil_datatype.StmtSet.copy