Artifact submitted to the 24th Static Analysis Symposium (SAS'17) alongside the paper Effect Summaries for Thread-Modular Analysis by Lukáš Holík, Roland Meyer, Tomáš Vojnar and Sebastian Wolff.