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 ())