ivory-backend-aadl: wip