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