Refactored modset analysis to avoid the use of static fields.  Static fields cause data races when we run parts of Boogie that both do mod set analysis at the same time.