sig
  val compositional : unit -> bool
  val translate_contracts : unit -> string option
  val check_modes : unit -> bool
  val check_implem : unit -> bool
  val contract_gen : unit -> bool
  val contract_gen_depth : unit -> int
  val refinement : unit -> bool
end