void addMethodThrows(@Nullable PsiMember methodOrClass) {
    if (myTrapTracker.shouldHandleException()) {
      if (methodOrClass == null) {
        DfaControlTransferValue transfer = myTrapTracker.transferValue(JAVA_LANG_THROWABLE);
        addInstruction(new EnsureInstruction(null, RelationType.EQ, DfType.TOP, transfer));
      } else {
        addThrows(methodOrClass instanceof PsiMethod method ? Arrays.asList(method.getThrowsList().getReferencedTypes()) : List.of());
      }
    }
  }
void addMethodThrows(@Nullable PsiMember methodOrClass)