Add tests on bound conditions