Fix old bug on how to compute must_write sets
gitignore