Add tests for lower and upper bounds