A2.2b: Proof finished both directions
A2.2a: Proof finished in both directions
Merge branch 'master' of https://github.com/kalhauge/model-checking-report