- various optimizations to make the boogie file smaller
- bugfix in the translation of virtual methods