sig
  val dup : unit -> Project.t
  val is_generated : Cil_types.kernel_function -> bool
end