Playing with TreeTranslators
Merge branch 'master' of github.com:plast-lab/doop-printer