This adds some test coverage for caafdf07, which relaxed an assertion to only require a unique exit block.