Program: 23394
Project: 23394
Buggy source:
private void checkCoding(List<ValidationMessage> errors,String path,Element element,StructureDefinition profile,ElementDefinition theElementCntext,boolean inCodeableConcept){
  String code=element.getNamedChildValue("String_Node_Str");
  String system=element.getNamedChildValue("String_Node_Str");
  String display=element.getNamedChildValue("String_Node_Str");
  rule(errors,IssueType.CODEINVALID,element.line(),element.col(),path,isAbsolute(system),"String_Node_Str");
  if (system != null && code != null) {
    try {
      if (checkCode(errors,element,path,code,system,display))       if (theElementCntext != null && theElementCntext.getBinding() != null) {
        ElementDefinitionBindingComponent binding=theElementCntext.getBinding();
        if (warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,binding != null,"String_Node_Str" + path + "String_Node_Str")) {
          if (binding.hasValueSet() && binding.getValueSet() instanceof Reference) {
            ValueSet valueset=resolveBindingReference(profile,binding.getValueSet(),profile.getUrl());
            if (warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,valueset != null,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str")) {
              try {
                Coding c=readAsCoding(element);
                long t=System.nanoTime();
                ValidationResult vr=context.validateCode(c,valueset);
                txTime=txTime + (System.nanoTime() - t);
                if (!vr.isOk()) {
                  if (vr.IsNoService())                   hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str");
 else                   if (vr.getErrorClass() == ExpansionErrorClass.VALUESET_UNSUPPORTED || vr.getErrorClass() == ExpansionErrorClass.NOSERVICE) {
                    if (binding.getStrength() == BindingStrength.REQUIRED)                     warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
 else                     if (binding.getStrength() == BindingStrength.EXTENSIBLE)                     warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
 else                     if (binding.getStrength() == BindingStrength.PREFERRED)                     hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
                  }
 else                   if (binding.getStrength() == BindingStrength.REQUIRED)                   rule(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
 else                   if (binding.getStrength() == BindingStrength.EXTENSIBLE)                   warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
 else                   if (binding.getStrength() == BindingStrength.PREFERRED)                   hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
                }
              }
 catch (              Exception e) {
                warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + e.getMessage() + "String_Node_Str");
              }
            }
          }
 else           if (binding.hasValueSet()) {
            hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str");
          }
 else           if (!inCodeableConcept && !noBindingMsgSuppressed) {
            hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + path + "String_Node_Str");
          }
        }
      }
    }
 catch (    Exception e) {
      rule(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + e.getMessage() + "String_Node_Str");
    }
  }
}

Fixed version (ground truth):
private void checkCoding(List<ValidationMessage> errors,String path,Element element,StructureDefinition profile,ElementDefinition theElementCntext,boolean inCodeableConcept){
  String code=element.getNamedChildValue("String_Node_Str");
  String system=element.getNamedChildValue("String_Node_Str");
  String display=element.getNamedChildValue("String_Node_Str");
  rule(errors,IssueType.CODEINVALID,element.line(),element.col(),path,isAbsolute(system),"String_Node_Str");
  if (system != null && code != null) {
    try {
      if (checkCode(errors,element,path,code,system,display))       if (theElementCntext != null && theElementCntext.getBinding() != null) {
        ElementDefinitionBindingComponent binding=theElementCntext.getBinding();
        if (warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,binding != null,"String_Node_Str" + path + "String_Node_Str")) {
          if (binding.hasValueSet() && binding.getValueSet() instanceof Reference) {
            ValueSet valueset=resolveBindingReference(profile,binding.getValueSet(),profile.getUrl());
            if (warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,valueset != null,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str")) {
              try {
                Coding c=readAsCoding(element);
                long t=System.nanoTime();
                ValidationResult vr=context.validateCode(c,valueset);
                txTime=txTime + (System.nanoTime() - t);
                if (!vr.isOk()) {
                  if (vr.IsNoService())                   hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str");
 else                   if (vr.getErrorClass() == TerminologyServiceErrorClass.VALUESET_UNSUPPORTED || vr.getErrorClass() == TerminologyServiceErrorClass.NOSERVICE) {
                    if (binding.getStrength() == BindingStrength.REQUIRED)                     warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
 else                     if (binding.getStrength() == BindingStrength.EXTENSIBLE)                     warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
 else                     if (binding.getStrength() == BindingStrength.PREFERRED)                     hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
                  }
 else                   if (binding.getStrength() == BindingStrength.REQUIRED)                   rule(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
 else                   if (binding.getStrength() == BindingStrength.EXTENSIBLE)                   warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
 else                   if (binding.getStrength() == BindingStrength.PREFERRED)                   hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + describeReference(binding.getValueSet()) + "String_Node_Str"+ valueset.getUrl()+ "String_Node_Str");
                }
              }
 catch (              Exception e) {
                warning(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + e.getMessage() + "String_Node_Str");
              }
            }
          }
 else           if (binding.hasValueSet()) {
            hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str");
          }
 else           if (!inCodeableConcept && !noBindingMsgSuppressed) {
            hint(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + path + "String_Node_Str");
          }
        }
      }
    }
 catch (    Exception e) {
      rule(errors,IssueType.CODEINVALID,element.line(),element.col(),path,false,"String_Node_Str" + e.getMessage() + "String_Node_Str");
    }
  }
}