let create kf =
  let kf_name = Kernel_function.get_name kf in
  debug "create cfg for function '%s'@." kf_name;
  let cfg =
    try
      let f = Kernel_function.get_definition kf in
        cfg_from_definition kf f
    with Kernel_function.No_Definition ->
      cfg_from_proto kf
  in debug "done for %s@." kf_name;
     if Wp_parameters.Dot.get () then ignore (dot_cfg cfg);
     !Db.progress ();
     cfg