public static @NotNull TreeElement psiToTreeNotNull(@NotNull PsiElement psiElement) {
    ASTNode node = psiElement.getNode();
    assert node instanceof TreeElement : psiElement + ", " + node;
    return (TreeElement)node;
  }
public static @NotNull TreeElement psiToTreeNotNull(@NotNull PsiElement psiElement)