Add tests for upper bound