Program: 61203
Project: 61203
Buggy source:
@Transactional(readOnly=true) private Criterion getCriterion(final AttributeCond.Type type,final AbstractAttributeValue example){
  Criterion result=null;
switch (type) {
case EQ:
    result=Restrictions.disjunction().add(Restrictions.eq("String_Node_Str",example.getStringValue())).add(Restrictions.eq("String_Node_Str",example.getBooleanValue())).add(Restrictions.eq("String_Node_Str",example.getLongValue())).add(Restrictions.eq("String_Node_Str",example.getDoubleValue())).add(Restrictions.eq("String_Node_Str",example.getDateValue()));
  break;
case GE:
result=Restrictions.disjunction().add(Restrictions.ge("String_Node_Str",example.getStringValue())).add(Restrictions.ge("String_Node_Str",example.getBooleanValue())).add(Restrictions.ge("String_Node_Str",example.getLongValue())).add(Restrictions.ge("String_Node_Str",example.getDoubleValue())).add(Restrictions.ge("String_Node_Str",example.getDateValue()));
break;
case GT:
result=Restrictions.disjunction().add(Restrictions.gt("String_Node_Str",example.getStringValue())).add(Restrictions.gt("String_Node_Str",example.getBooleanValue())).add(Restrictions.gt("String_Node_Str",example.getLongValue())).add(Restrictions.gt("String_Node_Str",example.getDoubleValue())).add(Restrictions.gt("String_Node_Str",example.getDateValue()));
break;
case ISNOTNULL:
result=Restrictions.disjunction().add(Restrictions.isNotNull("String_Node_Str")).add(Restrictions.isNotNull("String_Node_Str")).add(Restrictions.isNotNull("String_Node_Str")).add(Restrictions.isNotNull("String_Node_Str")).add(Restrictions.isNotNull("String_Node_Str"));
break;
case LE:
result=Restrictions.disjunction().add(Restrictions.le("String_Node_Str",example.getStringValue())).add(Restrictions.le("String_Node_Str",example.getBooleanValue())).add(Restrictions.le("String_Node_Str",example.getLongValue())).add(Restrictions.le("String_Node_Str",example.getDoubleValue())).add(Restrictions.le("String_Node_Str",example.getDateValue()));
break;
case LIKE:
result=Restrictions.disjunction().add(Restrictions.like("String_Node_Str",example.getStringValue()));
break;
case LT:
result=Restrictions.disjunction().add(Restrictions.lt("String_Node_Str",example.getStringValue())).add(Restrictions.lt("String_Node_Str",example.getBooleanValue())).add(Restrictions.lt("String_Node_Str",example.getLongValue())).add(Restrictions.lt("String_Node_Str",example.getDoubleValue())).add(Restrictions.lt("String_Node_Str",example.getDateValue()));
break;
default :
}
return result;
}

Fixed version (ground truth):
@Transactional(readOnly=true) private Criterion getCriterion(final AttributeCond.Type type,final AbstractAttributeValue example){
  Criterion result=null;
switch (type) {
case EQ:
    result=Restrictions.disjunction().add(Restrictions.eq("String_Node_Str",example.getStringValue())).add(Restrictions.eq("String_Node_Str",example.getBooleanValue())).add(Restrictions.eq("String_Node_Str",example.getLongValue())).add(Restrictions.eq("String_Node_Str",example.getDoubleValue())).add(Restrictions.eq("String_Node_Str",example.getDateValue()));
  break;
case GE:
result=Restrictions.disjunction().add(Restrictions.ge("String_Node_Str",example.getStringValue())).add(Restrictions.ge("String_Node_Str",example.getBooleanValue())).add(Restrictions.ge("String_Node_Str",example.getLongValue())).add(Restrictions.ge("String_Node_Str",example.getDoubleValue())).add(Restrictions.ge("String_Node_Str",example.getDateValue()));
break;
case GT:
result=Restrictions.disjunction().add(Restrictions.gt("String_Node_Str",example.getStringValue())).add(Restrictions.gt("String_Node_Str",example.getBooleanValue())).add(Restrictions.gt("String_Node_Str",example.getLongValue())).add(Restrictions.gt("String_Node_Str",example.getDoubleValue())).add(Restrictions.gt("String_Node_Str",example.getDateValue()));
break;
case ISNOTNULL:
result=Restrictions.disjunction().add(Restrictions.isNotNull("String_Node_Str")).add(Restrictions.isNotNull("String_Node_Str")).add(Restrictions.isNotNull("String_Node_Str")).add(Restrictions.isNotNull("String_Node_Str")).add(Restrictions.isNotNull("String_Node_Str"));
break;
case LE:
result=Restrictions.disjunction().add(Restrictions.le("String_Node_Str",example.getStringValue())).add(Restrictions.le("String_Node_Str",example.getBooleanValue())).add(Restrictions.le("String_Node_Str",example.getLongValue())).add(Restrictions.le("String_Node_Str",example.getDoubleValue())).add(Restrictions.le("String_Node_Str",example.getDateValue()));
break;
case LIKE:
result=Restrictions.like("String_Node_Str",example.getStringValue());
break;
case LT:
result=Restrictions.disjunction().add(Restrictions.lt("String_Node_Str",example.getStringValue())).add(Restrictions.lt("String_Node_Str",example.getBooleanValue())).add(Restrictions.lt("String_Node_Str",example.getLongValue())).add(Restrictions.lt("String_Node_Str",example.getDoubleValue())).add(Restrictions.lt("String_Node_Str",example.getDateValue()));
break;
default :
}
return result;
}