Add assertions.