For example, a way to show:
* Output of Filter processing
* Output of Splitter
* Output of Normalizations
* Output after Pattern Reductions
* Matching REGEXP
* Matching Model
You get the idea. This would greatly simplify tracking down SIML code that is disconnected from expectations.

And, since I'm dreaming, a 'trace' attribute on "significant" elements (ala RegExp and Models) with the intention that you are testing a certain model or Regexp, so when the Bot is traversing these marked elements additional trace is output.
In the long run I expect this would significantly reduce support questions.
Thanks,
James