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