New display for free variables. So, between a Call Port and the corresponding Exit Port, or from an atom trace to the following atom, a same variable can be displayed with different labels. With TILT, all kind of structures is displayed at one level depth. Expand allows you to develop term display level by level. Moreover, you are provided with the view method.
View allows to see the value of one particular argument of a term.
OUT will be displayed. Choose a label to display a variable with the same name during the trace. Typically, it allows the tracer to respect the source code's names of particularly important variables.