more progress on implementing lower bound refinement