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