folding new set representations into Verify