The Inference Tree Examiner allows the user to explore in depth a single node of the search tree.
This tool is still under development. A more detailed description will be available at a later date.