functor (X : sig val use_ctrl_dependencies : bool end->
  sig
    val init : unit -> unit
    val is_concerned_by_security : '-> bool
    val fold_fold :
      ('-> t -> '-> 'a) -> ('-> Cil_types.stmt -> 'b) -> '-> '-> 'a
    val slice : unit -> Project.t
  end