VSW: Updated Chapter on Reasoning About Programs.

The reasoning about programs chapter introduces the basic concepts of
reasoning about a simple method.