let
doInstr stmt _ m_before =
Dataflow
.
Done
(
State
.transfer (
X
.modified stmt) m_before)