incredibly slow compilation
starting to debug
Reducing the bug.
narrowing down, fixing a potential (but unrelated) bug in the original
removed more stuff
spliced in more discriminator types
a lot more simplification
simpler and simpler
more simplifying
a lot smaller now
About as small as I know how to make it.
Added comments for bug report.
Recursive discriminators work.