added code for vizualizing the tree structure of prooftree
generate real formulas for tree
visualize could handle splits correctly, and could dump complete dot code
simplify nodes involving atoms
replace temporary symbols with real logic symbols
upload sample output
upload sample output