pub fn get_optimal_strategy<E: Engine, CS: ConstraintSystem<E>>( cs: &CS, ) -> RangeConstraintStrategy