Tracelets and Tracelet Analysis Of Compositional Rewriting Systems.