add isl_schedule_tree_band_intersect_domain