isl_tab.c: don't detect equalities while setting up tableau