update C.setOf api