let
default () =
Stmt
.
Set
.empty