[TIDOC-990](3_0_X) Update Alloy examples