add getMinimalUpperBounds to Poset

@yilongli please review
this unique bound refers to GLB or LUB which is very likely not one of the closest bounds