On Fri Feb 23 05:58:52 2024 +0000, Conor McCarthy wrote:
On balance I see no improvement in clarity from this function. The assumption that an edge exists makes the function name inaccurate, and it is equal to `vsir_block_dominates()` except that it reverses the parameters. It may be better just to add a comment where `vsir_block_dominates()` is called to prove a back edge.
Ok, I reverted to using just `vsir_block_dominates()`.