[TIDOC-990] Update Alloy examples