[TIDOC-1256] Add Alloy Example