ivory-backend-aadl, ivory-examples: bad merge.
ivory-model-check: fix bad string for implication.