Add missing assertions.