21   IntegerRelation rel = parseRelationFromSet(  in TEST()
41       parseRelationFromSet("(x, y, z)[N, M] : (z - x - y == 0, x >= 0, N - x "  in TEST()
46       parseRelationFromSet("(z, x, y)[N, M]  : (x >= 0, N - x >= 0, y >= 0, M "  in TEST()
56   IntegerRelation rel = parseRelationFromSet(  in TEST()
65     IntegerRelation expectedRel = parseRelationFromSet(  in TEST()
79     IntegerRelation expectedRel = parseRelationFromSet(  in TEST()
93     IntegerRelation map1 = parseRelationFromSet(  in TEST()
96         parseRelationFromSet("(x, y, a)[N] : (a - x - y == 0)", 2);  in TEST()
101         parseRelationFromSet("(x, y, a)[N] : (a - x - y == 0)", 2);  in TEST()
107     IntegerRelation map1 = parseRelationFromSet(  in TEST()
110         parseRelationFromSet("(x, y, a, b)[N] : (a - N == 0, b - N == 0)", 2);  in TEST()
113         parseRelationFromSet("(x, y, a, b)[N] : (x - N == 0, y - N == 0)", 2);  in TEST()
123       parseRelationFromSet("(a, x)[b] : (x - a >= 0, x - b >= 0)", 1)  in TEST()
136       parseRelationFromSet("(a, x)[b] : (a - x >= 0, b - x >= 0)", 1)  in TEST()
145       parseRelationFromSet("(i, j)[N] : (i >= 0, j >= 0, N - i - j >= 0)", 1)  in TEST()
153       parseRelationFromSet("(x, y)[N] : (x >= 0, 2 * N - x >= 0, y >= 0, x - y "  in TEST()
189       parseRelationFromSet("(x, y, z)[N, M] : (z - x - y == 0, x >= 0, N - x "  in TEST()
212       parseRelationFromSet("(x, y, z, a, b, c)[N, Q] : (a - x - y == 0, "  in TEST()
215   IntegerRelation otherRel = parseRelationFromSet(  in TEST()
294   IntegerRelation rel = parseRelationFromSet(  in TEST()
296   IntegerRelation otherRel = parseRelationFromSet(  in TEST()
375   IntegerRelation rel = parseRelationFromSet(  in TEST()
377   IntegerRelation otherRel = parseRelationFromSet(  in TEST()
449   IntegerRelation rel = parseRelationFromSet(  in TEST()
528   IntegerRelation rel = parseRelationFromSet(  in TEST()
542       parseRelationFromSet("(x)[N, M] : (x - N >= 0, 2 * M - 5 >= 0)", 1);  in TEST()
550   IntegerRelation rel2 = parseRelationFromSet(  in TEST()
570   IntegerRelation rel3 = parseRelationFromSet(  in TEST()
581   expectedRel = parseRelationFromSet(  in TEST()
591   IntegerRelation rel4 = parseRelationFromSet(  in TEST()