- moved the creation of objects into prelude function
- fixed bug caused by missing goto in exception handling
- still has some bugs.
- fixed bugs
- added a few more labels to track the java source position in the
boogie file.