print all for benchmarks
Update set operations to latest CVC4