polysign_isl.c: extract_equalities: use isl_val