Add to README
Change method names, add comments for readability

The Analyzer is too hard to understand and needs more refactoring. Several methods are clear
candidates for being moved to the VariableOccurrence class. I also think
there's a bug hiding in here. I think I need to invent a better test setup that
will somehow explicitly add variables to the different code regions. Also
perhaps set up all the regions to begin with.