Defines classes to support the debugging of search tree algorithms.