let forward_data_scope modif_stmts s =
  States.clear ();
  let modified s = SidSet.mem s.sid modif_stmts in
  let module Computer = ForwardScope (struct let modified = modified endin
  let module Compute = Dataflow.ForwardsDataFlow(Computerin
    States.replace s.sid State.Start;
    Compute.compute [s]