add a note on isl_map_union_disjoint