From
val is_computed : Frama_c_kernel.Cil_types.kernel_function -> bool
val compute : Frama_c_kernel.Cil_types.kernel_function -> unit
val self : Frama_c_kernel.State.t
val pretty :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.kernel_function ->
unit
module Callwise : sig ... end