TREE_OR: machine-friendly construction of and/or trees for composite keys, etc
Properly handle degenerate cases of TREE_OR
TODOify tests that have never yet worked