let
singleton =
Cilutil
.
StmtSet
.singleton