WLS: updated broken example illustrating methods
Merge branch 'master' of github.com:Whiley/WhileyDocs
WLS: updated graph example