Symbolic Debugging for Orchestrations...
http://www.traceofthought.net/PermaLink,guid,75e22eec-348d-4880-bea4-6c7a5316e2dd.aspx