[TIDOC-1265] Add Alloy Example