2 new tests: pre-existing K-Tree entry, and a 4-stack test