[TIDOC-1127] Add Alloy example