ivory-aadl: remove