Class TableIsEmptyPrecondition