let
inter =
Cilutil
.
StmtSet
.inter