Flags.QE
val order_var_by_elim : unit -> bool
Order variables in polynomials by order of elimination *
val general_lbound : unit -> bool
Choose lower bounds containing variables *