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