polysign_isl.c: isl_constraints_opt: use isl_val