- fixed several bugs to make smack generated files run
- unfinished translation of quantifiers
- hack to make "\old" run, but it is not really implemented
- prepared the project to run smack unit tests.
minor fixes