8206: univariate_inequality solver watches for invalid solns