let
doInstr stmt _instr set =
Dataflow
.
Done
(
DomSet
.add stmt set)