ivory-backend-aadl: umbrella module, pretty printing expanded