sig
  val mark_kf_as_called : Cil_types.kernel_function -> unit
  val add_kf_caller :
    caller:Cil_types.kernel_function * Cil_types.stmt ->
    Cil_types.kernel_function -> unit
  val is_non_terminating_instr : Cil_types.stmt -> bool
  type results
  val get_results : unit -> Value_results.results
  val set_results : Value_results.results -> unit
  val merge :
    Value_results.results -> Value_results.results -> Value_results.results
  val change_callstacks :
    (Value_types.callstack -> Value_types.callstack) ->
    Value_results.results -> Value_results.results
  val print_summary : unit -> unit
end