Program: 96052
Project: 96052
Buggy source:
private List<SelectItem> replaceSelectList(List<SelectItem> selectItemList) throws VerdictDBDbmsException {
  List<SelectItem> newSelectItemList=new ArrayList<>();
  for (  SelectItem sel : selectItemList) {
    if (!(sel instanceof AliasedColumn) && !(sel instanceof AsteriskColumn)) {
      if (sel instanceof BaseColumn) {
        sel=replaceBaseColumn((BaseColumn)sel);
        colNameAndColAlias.put(((BaseColumn)sel).getColumnName(),"String_Node_Str" + itemID);
        newSelectItemList.add(new AliasedColumn((BaseColumn)sel,"String_Node_Str" + itemID++));
      }
 else       if (sel instanceof ColumnOp) {
        sel=replaceFilter((ColumnOp)sel);
        if (((ColumnOp)sel).getOpType().equals("String_Node_Str")) {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
 else         if (((ColumnOp)sel).getOpType().equals("String_Node_Str")) {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
 else         if (((ColumnOp)sel).getOpType().equals("String_Node_Str")) {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
 else         if (((ColumnOp)sel).getOpType().equals("String_Node_Str")) {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
 else {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
      }
    }
 else {
      if (sel instanceof AliasedColumn) {
        ((AliasedColumn)sel).setColumn(replaceFilter(((AliasedColumn)sel).getColumn()));
      }
      newSelectItemList.add(sel);
      if (sel instanceof AliasedColumn && ((AliasedColumn)sel).getColumn() instanceof BaseColumn) {
        colNameAndColAlias.put(((BaseColumn)((AliasedColumn)sel).getColumn()).getColumnName(),((AliasedColumn)sel).getAliasName());
      }
    }
  }
  return newSelectItemList;
}

Fixed version (ground truth):
private List<SelectItem> replaceSelectList(List<SelectItem> selectItemList) throws VerdictDBDbmsException {
  List<SelectItem> newSelectItemList=new ArrayList<>();
  for (  SelectItem sel : selectItemList) {
    if (!(sel instanceof AliasedColumn) && !(sel instanceof AsteriskColumn)) {
      if (sel instanceof BaseColumn) {
        sel=replaceBaseColumn((BaseColumn)sel);
        colNameAndColAlias.put(((BaseColumn)sel).getColumnName(),((BaseColumn)sel).getColumnName());
        newSelectItemList.add(new AliasedColumn((BaseColumn)sel,((BaseColumn)sel).getColumnName()));
      }
 else       if (sel instanceof ColumnOp) {
        sel=replaceFilter((ColumnOp)sel);
        if (((ColumnOp)sel).getOpType().equals("String_Node_Str")) {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
 else         if (((ColumnOp)sel).getOpType().equals("String_Node_Str")) {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
 else         if (((ColumnOp)sel).getOpType().equals("String_Node_Str")) {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
 else         if (((ColumnOp)sel).getOpType().equals("String_Node_Str")) {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
 else {
          newSelectItemList.add(new AliasedColumn((ColumnOp)sel,"String_Node_Str" + itemID++));
        }
      }
    }
 else {
      if (sel instanceof AliasedColumn) {
        ((AliasedColumn)sel).setColumn(replaceFilter(((AliasedColumn)sel).getColumn()));
      }
      newSelectItemList.add(sel);
      if (sel instanceof AliasedColumn && ((AliasedColumn)sel).getColumn() instanceof BaseColumn) {
        colNameAndColAlias.put(((BaseColumn)((AliasedColumn)sel).getColumn()).getColumnName(),((AliasedColumn)sel).getAliasName());
      }
    }
  }
  return newSelectItemList;
}