split ISL_BASIC_MAP_NORMALIZED into *_NO_REDUNDANT and *_SORTED