sig
  val is_computed : Cil_types.kernel_function -> bool
  val set : Cil_types.kernel_function -> bool -> unit
  val self : State.t
end