sig
  module A = Analysis
  type info = { can_refine : bool; has_contract : bool; has_modes : bool; }
  val next_analysis :
    A.results ->
    (Scope.t -> (Scope.t * Strategy.info) list) ->
    (Scope.t * Strategy.info) list -> A.param option
  val monolithic : (Scope.t * Strategy.info) list -> A.param option
end