polysign_isl.c: extract_inequalities: use isl_val