Comment 3 for bug 1916040

If you can surface whether a particular case has occurred in the internals (say, by setting some special variable to T when it happens) I can use random inputs to try to find an input that causes it. This would plug in cleanly to the subtypep tester I described in today's bug report, including pruning of the input.