Added assertions to incremental state test.