On Fri Feb 23 05:58:52 2024 +0000, Conor McCarthy wrote:
Does this situation indicate a problem? Recursion terminates on `block == header`, so if we find a block not dominated by `header` , a block outside the loop branches to within the loop, right?
Right, this check is not incorrect, but it is redundant. I removed it.