let annotate_kf kf =
  (* generates annotation for function kf on the basis of command-line options *)
  debug "launching annotate\n";
  (* add annotations *)
  match kf.fundec with
  | Declaration _ -> ()
  | Definition _ ->
    (* check whether options have changed for function kf *)
      annotate_kf_with kf
        (Parameter_map.gen_from_command_line_options ())
        (Parameter_map.other_from_command_line_options ())