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