Update StaticAnalysisChapter.md

Finished the first example. The end has a lot of typos that I'll fix later. (Trying out Hemmingway on Draftin.com makes it harder to fix typos as I go.)