update pet for use of isl_map_has_tuple_id