added proper collapse and expand markers to the nodes in the proof tree
fixed visit function bug in tree data