Improved preprocessing, added support for simple inequalities.