let
default () =
Cilutil
.
StmtSet
.empty