CYPRESS: Combining Static and Dynamic Analysis for Top-Down Communication Trace Compression - View it on GitHub