let do_precond kf =
(* annotate call sites with contracts, for a given function *)
let current_gen_options = StateManager.find_current_gen_options kf in
let new_gen_options = Parameter_map.set_precond current_gen_options in
annotate_kf_with kf new_gen_options (StateManager.find_current_other_options kf)