let on_function_names fcts = fun do_body ->
  List.iter
    (fun fname ->
       try
         let kf = Globals.Functions.find_by_name fname in
         on_definition do_body kf
       with Not_found ->
         Wp_parameters.error "Unknown function '%s' (skipped)" fname
    ) fcts