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