private void TerminateAnyBlockAt(Address addr) { var block = FindContainingBlock(addr); if (block != null) { TerminateBlock(block, addr); } }