isl_int to isl_val replacement

Signed-off-by: kecinzer <kecinzer@gmail.com>