Add some additional assertions.