SET(a=1)
SET(a[1]=1)
ASSERT(UNIQUE(a))
