add isl_pw_*_intersect_domain