some work to make cvc4 throw an exception on nonlinear benchmarks (to detect them in a set of benchmarks)