@Override
    public PsiElement getNextSibling(@NotNull PsiElement element) {
      return checkSanity(element, element.getNextSibling());
    }
@Override
    public PsiElement getNextSibling(@NotNull PsiElement element)