isl_map_is_disjoint: maps with non-matching tuples may still intersect