Fixed small mistake in WitnessLP_lpsolve