If predicate is slow it's better to avoid broken code testing.
Right, I think it mainly depends on when you want to run your pass.If you are running it early on huge test cases, it should always emit valid code.
If it runs late on quite small test cases, probably it doesn't matter if 50% of the time it emits invalid code.
John
