sig
  val get : Cil_datatype.Fundec.Set.t -> cast_intro:bool -> Project.t
  val compute : unit -> unit
  val self : State.t
end