As you might guess from looking at the sequence of visitor method calls, some of these calls effectively open a new context for an embedded type signature component.

Fault analyzer USES the sequence of functions called by the thread that crashed to develop a unique signature for the crash.

When you double-click on a message operation signature on a sequence diagram, a list of available operations will display.