@Test
public void testSectionNotFoundBuffer() {

    BufferedConfigurationExplorer explorer;
    for(int i = 0; i < DEPTH; i++) {
        moveTo(explorer = (BufferedConfigurationExplorer)getExplorer(), i);
        // Makes sure that a failed moveTo call doesn't corrupt section history.
        assert !explorer.moveTo(FAKE_SECTION + i, false);
        backtrack(explorer, i);
    }
}