major improvement of the architecture of function calls/returns lifters
improving the lifting of counterexamples of decision tables marked as "checked"
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core