addressed four issues based on Peter's review comments

* fixed a problem in the example used for describing the caching algorithm:
  %6 = block -> %6 = var

* grammar fix "proceeded" -> "processed"

* fixed an indentation issue

* a better assert on BlockConstraints and
  removed a redundant level of "if" statement in getUBPhiPaths