Looks like preSC must be transitive due to analysis of Fig 6.
Add litmus template expander
Restrict number of RMW instructions
Appendix litmus and templates
genlitmus.py executable
Fix syntax of fig9
Fix syntax (can't use bare not)
Script for generating Tyler buckets