add isl_map_is_bijective