Describir: Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples.