tower-frontend: use aadl pretty printer rather than Show