isl_tab_basic_map_partial_lexopt: add all equalities before pivoting