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