Example: Readers-Writers with Writers Priority

Browse: waterJugs_trace.csv

Add: WaterJugs:1.big, WaterJugs:1.small

Granularity:  Method  (this is important!!)

Abbreviations: WaterJugs:1.big = b

Enter Property: E[b = 4]