let
funcExitData =
DomSet
.
Value
Stmt
.
Set
.empty