moved loop invarients out to some inititalizing code
Merge pull request #1 from uncle-bob/master

moved loop invariants out to some inititalizing code