add isl_constraint_get_constant_val