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