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