let go infos end_point =
  let module Computer = Computer (struct
                                    let end_point = end_point.sid
                                    let states = infos
                                  end)
  in let module Compute = Dataflow.BackwardsDataFlow(Computerin
  Compute.compute [end_point]