let
union =
Stmt
.
Set
.union