tower-frontend: small aadl changes