fixing naming bugs in the counterexample
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
cbmc tests are now green
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core