isl_tab_pip.c: no_sol_in_strict: fix error handling