@Override
  public void replaceExprent(Exprent oldExpr, Exprent newExpr) {
    if (oldExpr == value) {
      value = newExpr;
    }
  }
@Override
  public void replaceExprent(Exprent oldExpr, Exprent newExpr)