Add tests to check assertions.