- fixed bug in importing.
- improved merging of Boogie files.
- improved printing.