sig
  val pp_calls : Format.formatter -> Cil_types.kernel_function list -> unit
  val property :
    kf:Cil_types.kernel_function ->
    ?bhv:string ->
    stmt:Cil_types.stmt -> calls:Cil_types.kernel_function list -> Property.t
  val get : ?bhv:string -> Cil_types.stmt -> Cil_types.kernel_function list
  val compute : unit -> unit
end