Looking at Code / Day 3

Today, I spent some time doing what I can probably always improve on: getting familiar with the code that I will be working on. Although I had done this before, and I will likely spend much more time looking at the documentation and code for the two model checkers I'll be working with, but of course, the more I look at it, the more I remember, and so this should hopefully transition into more efficient coding when that time comes. At the very least, it should help me when I need to know where to look for something. Further, I've got a bit of a question document going to send to the experts, so being able to relate high-level concepts with code seems to make those questions more precise.