Fix bug
Merge branch 'master' of /home/nick/prog/fourier-motzkin into v2-constrained-rewriting
It does something!