distinguish up and even links on stack
only merge up-link mites
trees initial
print test time
suggest-active on trees initial
keep contradictor cache in trees
use empty-tree
tree merging initial
present the trees