This can make it visually easier to further reduce a testcase. Note that this will require similar changes to the codebase as for #12.