Add a new class for memorizing assertions.