Adding oracle-style tests for sets