Fixed bug in proof search, implemented JUNG proof search tree viewer.