Test PowerSetGeneration