barvinok_summate.c: verify_point: use isl_val