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 end) in
let module Compute = Dataflow.ForwardsDataFlow(Computer) in
States.replace s.sid State.Start;
Compute.compute [s]