isl_constraint.c: use isl_basic_map_offset