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