add isl_union_{set,map}_remove_redundancies