small fix
improving conceptswitch
new tests
minor improvements
small improvement of debugging of lifters
small improvement in lifting of nodes
renaming the "__failures" variable into "___failures" such that by convention it is ignored while building the lifted CBMC counterexample
small logging improvements
improving the counterexamples lifting
fixing the build