OrTreeNode is coming together. It has a search function which is
what should be called from the outside. It recursively does the Or-tree
thing, and eventually returns an OrTreeNode with a complete assignment.