Detects redefinition of variables