sig
  val signal_abort : unit -> unit
  module Computer :
    functor
      (AnalysisParam : sig
                         val kf : Cil_types.kernel_function
                         val initial_states : State_set.t
                         val active_behaviors : Eval_annots.ActiveBehaviors.t
                       end->
      sig
        val compute : State_set.t -> unit
        val results : unit -> Value_types.call_result
        val merge_results : unit -> unit
        val mark_degeneration : unit -> unit
      end
end