ivory-backend-aadl: identifiers can't have spaces