Check if two blocks are related by variable renaming.
(block-renamevar old new ren) → _
We process the list of statements, discarding the final renaming list, because the scope of a block ends at the end of the block.
