@Nullable
    @Override
    public Psi2Symbol dereference() {
      PsiElement element = myPointer.dereference();
      if (element == null) {
        return null;
      }
      else {
        return new Psi2Symbol(element, this);
      }
    }
@Nullable
    @Override
    public Psi2Symbol dereference()