PoC Pattern Enforcement Alloy