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(Computer) in
Compute.compute [end_point]