let compute_on_infinite_traces infos tops =
  let rec remove_top stmts = match stmts with
    | [] -> ()
    | s :: stmts ->
        if States.find infos s.sid = Init then go infos s else ();
        remove_top stmts
  in remove_top tops