Adding lower bound computation for a BnB node.
Refactoring vertex to support push-degree #1.
Refactoring due to paradigm change... ARGH