sig
  val print_fct_stmts :
    Format.formatter -> Db.Slicing.Project.t * Kernel_function.t -> unit
end