cleaned up tree_one()
autoterm look-up-table comments
messy picosat support