sig
  val compute : WpContext.model -> unit
  val iter : (Kernel_function.t -> unit) -> unit
  val with_callees : Kernel_function.t -> Kernel_function.Set.t
end