isl_tab_detect_implicit_equalities: also detect manifest equalities