Split up truth tree so the generate funcitons are in their own, this
means the checker doesn't work.  Also universals and existentials work
The validargs.txt has arguements from the handout from feb 26.
All the arguements should be valid, and the generate does make valid
trees, but I want to confirm the trees are right. Also I modified
The way the best split is used, because it was causing infinte trees
when there were finite solutions.