fixing some tests
cleaning-up
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
clean-up and new tests for literals lifting in counterexamples
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core