Information-panels for the tree and a selected node

This part of the graphical user interface gives information of the tree and a selected node. A node can be selected in the mainframe by a simple mouse-click. This part consists of following panels:

• Name of the displayed tree:
  The name of the Alter-Java program associated to the computation tree.
• The number of existing nodes:
  This value illustrates the whole size of the displayed tree.
• The type of quantifier of a selected node:
  This value gives information of the quantifier of a selected node.
• The deep of a selected node