Rename reports too many files with type errors

[sungshik]

Describe the bug

Imagine:

• Module A imports module B
• Module B contains a type error

Renames in module A result in spurious error messages about module A with the message:

Renaming failed, since this file has type error(s). (at file:///c:/Users/sung-/Desktop/rascal-scratch/src/main/rascal/A.rsc)

To Reproduce

• Variant 1

  Rename:
  

  Notifications (about both A and B):
  

• Variant 2

  Rename:
  

  Notification:
  

  This second variant has the additional peculiarity that B shouldn't be relevant to the rename of x. So, if the spurious error message is caused by a "leak" of type errors from B (the importee) to A (the importer), then perhaps there is another issue at play here, too.

[sungshik]

@toinehartman commented elsewhere that relevant code is also in the rename framework implementation: https://github.com/usethesource/typepal/blob/main/src/analysis/typepal/refactor/Rename.rsc#L159