PetScan::extract_for: use isl_val to represent loop increment