tower-frontend: aadl warnings written to file