isl_tab_pip.c: propagate_equalities: return indication of failure