@Override
  public void replaceExprent(Exprent oldExprent, Exprent newExprent) {
    if (headExprent == oldExprent) {
      headExprent = newExprent;
    }
  }
@Override
  public void replaceExprent(Exprent oldExprent, Exprent newExprent)