1- Some minor changes to UI
2- Instead of generating small trees and translate them in isolation and
then attach them together as Strings, now a big tree is built and that
tree is translated to Dafny code.