Added removal of tautological inequalities. Should speed up vertex search.