Program: 145219
Project: 145219
Buggy source:
private static String printConditionalProperty(String property,FormDef f,TreeElement instanceNode){
  int action=-1;
  String conditionHeader=null;
  boolean absolute=false;
  boolean absoluteReportable=false;
  String absoluteHeader=null;
  if (property.equals("String_Node_Str")) {
    action=Condition.ACTION_SHOW;
    conditionHeader="String_Node_Str";
    absolute=instanceNode.relevant;
    absoluteReportable=false;
    absoluteHeader="String_Node_Str";
  }
 else   if (property.equals("String_Node_Str")) {
    action=Condition.ACTION_REQUIRE;
    conditionHeader="String_Node_Str";
    absolute=instanceNode.required;
    absoluteReportable=true;
    absoluteHeader="String_Node_Str";
  }
 else   if (property.equals("String_Node_Str")) {
    action=Condition.ACTION_DISABLE;
    conditionHeader="String_Node_Str";
    absolute=instanceNode.enabled;
    absoluteReportable=false;
    absoluteHeader="String_Node_Str";
  }
  IConditionExpr expr=null;
  for (int i=0; i < f.conditions.size() && expr == null; i++) {
    Condition c=(Condition)f.conditions.elementAt(i);
    if (c.trueAction == action) {
      for (int j=0; j < c.targets.size() && expr == null; j++) {
        TreeReference target=(TreeReference)c.targets.elementAt(j);
        if (instanceNode == getInstanceNode(f.getDataModel(),new XPathReference(target))) {
          expr=c.expr;
        }
      }
    }
  }
  String line=null;
  if (expr != null) {
    line=conditionHeader + "String_Node_Str" + printCondition(expr);
  }
 else   if (absolute == absoluteReportable) {
    line=absoluteHeader;
  }
  return line;
}

Fixed version (ground truth):
private static String printConditionalProperty(String property,FormDef f,TreeElement instanceNode){
  int action=-1;
  String conditionHeader=null;
  boolean absolute=false;
  boolean absoluteReportable=false;
  String absoluteHeader=null;
  if (property.equals("String_Node_Str")) {
    action=Condition.ACTION_SHOW;
    conditionHeader="String_Node_Str";
    absolute=instanceNode.relevant;
    absoluteReportable=false;
    absoluteHeader="String_Node_Str";
  }
 else   if (property.equals("String_Node_Str")) {
    action=Condition.ACTION_REQUIRE;
    conditionHeader="String_Node_Str";
    absolute=instanceNode.required;
    absoluteReportable=true;
    absoluteHeader="String_Node_Str";
  }
 else   if (property.equals("String_Node_Str")) {
    action=Condition.ACTION_DISABLE;
    conditionHeader="String_Node_Str";
    absolute=instanceNode.isEnabled();
    absoluteReportable=false;
    absoluteHeader="String_Node_Str";
  }
  IConditionExpr expr=null;
  for (int i=0; i < f.conditions.size() && expr == null; i++) {
    Condition c=(Condition)f.conditions.elementAt(i);
    if (c.trueAction == action) {
      for (int j=0; j < c.targets.size() && expr == null; j++) {
        TreeReference target=(TreeReference)c.targets.elementAt(j);
        if (instanceNode == getInstanceNode(f.getDataModel(),new XPathReference(target))) {
          expr=c.expr;
        }
      }
    }
  }
  String line=null;
  if (expr != null) {
    line=conditionHeader + "String_Node_Str" + printCondition(expr);
  }
 else   if (absolute == absoluteReportable) {
    line=absoluteHeader;
  }
  return line;
}