Fix old bug on how to compute must_write sets
gitignore
Merge branch 'issue-102' into develop. Fixes #102.