ivory-backend-aadl: don't emit empty documents