fix a bug of addLowerBound in SAT.PBO.Context
rewrite PBO functions using SAT.PBO.Context module (work in progress)