Remove redundant constraint in LP construction, get rid of GLPK
dependency!