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