[TIDOC-1256](3_1_X) Add Alloy example