improved lifter for loops
improving the concept-switch generator
added if, else-if and switch to counterexample lifting test-cases
test-cases for gotos, global constants and macros
fixing the unary pre-/post modification expressions to be with side effects (NOT side effects free)
major improvement of advanced verification conditions
removing SM-cex tests that fail; adding robustness-config to testdata;
removing componentes-cex tests that fail; fixing SM tests
added type-system tests
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core