sig
  val order_var_by_elim : unit -> bool
  val general_lbound : unit -> bool
end