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.
Started the new checker, So far it checks to make sure that input arguements match one from the other input file
Finished the checker, I tested on some of the larger valid arguements, the applying forward open leaf needs a little tweaking though.
Finished the checker.  Started on the UI.  Right now it just displays a tree, and not very well at that.
pre-merge commit