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