[mlir][Presburger] Remove slow applyDomainAndRange test

[Groverkss]

Summary

The test creates two maps, which explode in output size when subtracting,
causing the test to take +11 seconds on a debug build. Removing the slow
test until more simplifications in subtraction are added.

[Groverkss]

Remove the slow test, keep the other test

[arjunp]

Thanks!

mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp

PresburgerRelation expectedRel = parsePresburgerRelationFromPresburgerSet(
          "== 0)"},
         2);
 
     PresburgerRelation computedRel = rel.intersectRange(set);
     EXPECT_TRUE(computedRel.isEqual(expectedRel));
   }
 }
 
-TEST(PresburgerRelationTest, applyDomainAndRange) {
+// FIXME: This test is disabled because of a output size issue with subtract
+// where it produces 17592 disjuncts. This increases the testing time by 11
+// seconds. Once more simplifications for subtract are added, this test
+// should be enabled again.
+TEST(PresburgerRelationTest, DISABLED_applyDomainAndRange) {
   {
     PresburgerRelation map1 = parsePresburgerRelationFromPresburgerSet(
         {// (x, y) -> (x + N, y - N)
          "(x, y, a, b)[N] : (x - a + N == 0, y - b - N == 0)",
          // (x, y) -> (y, x)
          "(x, y, a, b)[N] : (a - y == 0, b - x == 0)",
          // (x, y) -> (x + y, x - y)
          "(x, y, a, b)[N] : (a - x - y == 0, b - x + y == 0)"},