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