Added the code for handling real non-linear inequalities by Rob and Jeremy.