public virtual void ReportTransformation(Object oldTree, Object newTree)
// Override this if you need transformation tracing to go somewhere
// other than stdout or if you're not using ITree-derived trees.
{
PrettyPrintContext context = new PrettyPrintContext(singleLine: true);
string sOld = context.Print((IPrettyPrint)oldTree);
string sNew = context.Print((IPrettyPrint)newTree);
string s = sOld +" -> "+ sNew;
MiscUtil.TraceLineLowLevel(s);
}
