let
doInstr stmt _instr m_after =
Dataflow
.
Done
(
State
.transfer (
X
.modified stmt) m_after)