[burntsushi]

Ah, excellent! Thanks. That answers my question. I also found the idea of early termination via static rank very intriguing.