isl_tab_pip.c: same_solution: return isl_bool