Alloy - Compound Set Demo