Detects assignments of a variable to itself, like:
a = a;