add isl_basic_map_detect_equalities