added unit tests for Poset; also fixed getLUB in order to pass the unit tests