scan.cc: avoid_overflow: use isl_val