let do_all_rte kf =
(* annonate for all rte + unsigned overflows (which are not rte), for a given function *)
let current_gen_options = StateManager.find_current_gen_options kf in
let new_gen_options =
Parameter_map.set_unsignedOv
(Parameter_map.set_all_rte current_gen_options) in
annotate_kf_with kf new_gen_options (StateManager.find_current_other_options kf)