Started to separte generation functionality, put that in truthtreegen.py
Added a container for truth trees
Added universal and Existential with generation
the checker won't work though becuase it uses some of the generation functionality