let
diff =
Cilutil
.
StmtSet
.diff