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