let
union =
Cilutil
.
StmtSet
.union