sig
  val prune_trivial : unit -> bool
  val set_max_depth : int option -> unit
  val max_depth : unit -> int option
  val max_succ : unit -> int
  val lift_candidates : unit -> bool
  val top_only : unit -> bool
  val all_out : unit -> bool
  val mine_trans : unit -> bool
  val two_state : unit -> bool
  val bool_eq_only : unit -> bool
  val arith_eq_only : unit -> bool
  val renice : unit -> int
end