Type Cond and Generate.  Passes 64/64
Increase the number of tests.  Passes 70/70.