sig
  val print_fct_stmts :
    Format.formatter ->
    SlicingTypes.sl_project * Cil_types.kernel_function -> unit
end