Double variable

That's too prone to false positives, so we're not doing that. There are many legitimate use cases why a variable is used once in the source text, and multiple times in the translation (plural forms being the most used one).

Siebrand11:28, 1 April 2013