Applies Fourier-Motzkin elimination untill either all
variables are eliminated or the editmatrix becomes
obviously infeasible. The check rests on the theorem that
a set of linear inequalities is infeasible if and only if
0 < -1 can be derived from it.