void throwException(@Nullable PsiType ref, @Nullable PsiElement anchor) {
    if (ref != null) {
      DfaControlTransferValue value = myTrapTracker.transferValue(new ExceptionTransfer(TypeConstraints.instanceOf(ref)));
      addInstruction(new ThrowInstruction(value, anchor));
    }
  }
void throwException(@Nullable PsiType ref, @Nullable PsiElement anchor)