@Override
  public void replaceExprent(Exprent oldexpr, Exprent newexpr) {
    if (headexprent.get(0) == oldexpr) {
      headexprent.set(0, newexpr);
    }
  }
@Override
  public void replaceExprent(Exprent oldexpr, Exprent newexpr)