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