let
empty =
Stmt
.
Set
.empty