1160 void expectSymbolicIntegerLexMin(  in expectSymbolicIntegerLexMin()  function
1193 void expectSymbolicIntegerLexMin(  in expectSymbolicIntegerLexMin()  function
1197   expectSymbolicIntegerLexMin(polyStr, result, {});  in expectSymbolicIntegerLexMin()
1201   expectSymbolicIntegerLexMin("(x)[a] : (x - a >= 0)",  in TEST()
1206   expectSymbolicIntegerLexMin(  in TEST()
1213   expectSymbolicIntegerLexMin(  in TEST()
1222   expectSymbolicIntegerLexMin("(x, y)[a] : (x - a >= 0, x + y >= 0)",  in TEST()
1227   expectSymbolicIntegerLexMin(  in TEST()
1234   expectSymbolicIntegerLexMin(  in TEST()
1241   expectSymbolicIntegerLexMin(  in TEST()
1248   expectSymbolicIntegerLexMin(  in TEST()
1255   expectSymbolicIntegerLexMin(  in TEST()
1265   expectSymbolicIntegerLexMin(  in TEST()
1275   expectSymbolicIntegerLexMin("(x)[a, b] : (x - a == 0, x - b >= 0)",  in TEST()
1280   expectSymbolicIntegerLexMin(  in TEST()
1287   expectSymbolicIntegerLexMin(  in TEST()
1296   expectSymbolicIntegerLexMin(  in TEST()
1305   expectSymbolicIntegerLexMin(  in TEST()
1316   expectSymbolicIntegerLexMin(  in TEST()
1338   expectSymbolicIntegerLexMin(  in TEST()
1348   expectSymbolicIntegerLexMin("(x, y)[a] : (9*x - 4*y - 2*a >= 0)", {},  in TEST()
1352   expectSymbolicIntegerLexMin(  in TEST()
1361   expectSymbolicIntegerLexMin(  in TEST()
1373   expectSymbolicIntegerLexMin(  in TEST()