375f199522
Currently, the code mistakenly thinks `(x): (1 >= 0)` as non-full-dimensional. The code determines full-dimensionality by testing whether an inequality is flat, i.e. takes the same value regardless of variable assignments. However, `1 >= 0` is obviously flat, and this case should be ignored since it didn't involve any variables. To remove these inequalities, we can call `removeTrivialRedundancy`.