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