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)