Added a couple of examples to complement the example from the Static
Guard Analysis paper. Both these examples are STaB to it.