TreeAccumulator
class DeepFolder[X]
class ShallowFolder[X]
class TreeTraverser
class Extractor
object TreeNodeChecker.type
class InitTreeTraverser
class UntypedTreeAccumulator[X]
class UntypedDeepFolder[X]
class UntypedTreeTraverser
object hasSkolem.type