let
funcExitData =
DomSet
.
Value
StmtSet
.empty