let pp_stmts_reached_by_function fmt =
  let semantic = compute_semantic () in
  let l = compute_coverage_by_fun semantic in
  let sum_total, sum_value = List.fold_left
    (fun (at, av) (_, t, v, _) -> at+t, av+v) (0, 0) l in
  let percent = 100. *. (float_of_int sum_value) /. (float_of_int sum_total) in
  Format.fprintf fmt "@[<v 0>Statements analyzed by Value@ ----------------------------@ %d stmts in analyzed functions, %d stmts analyzed (%.1f%%)@ "
    sum_total sum_value percent;
  List.iter (fun (kf, total, _, percent) ->
    Format.fprintf fmt "%a: %.1f%% (%d stmts)@ "
      Kernel_function.pretty kf percent total
  ) l;
  Format.fprintf fmt "@]"