This mode reduces the size of test cases that encounter conversion errors or produce incorrect output. The logic developed slowly over the past three years. It is in a state that I find useful when fielding bug reports, but has some room for improvement in terms of constraints and filtering.