let
elements =
Cilutil
.
StmtSet
.elements