sig
  val print_fct_from_pdg :
    Stdlib.Format.formatter ->
    ?ff:SlicingInternals.fct_slice -> PdgTypes.Pdg.t -> unit
  val print_marked_ff :
    Stdlib.Format.formatter -> SlicingInternals.fct_slice -> unit
  val print_original_glob :
    Stdlib.Format.formatter -> Cil_types.global -> unit
  val print_fct_stmts :
    Stdlib.Format.formatter -> Cil_types.kernel_function -> unit
  val build_dot_project : string -> string -> unit
end