Program: 73967
Project: 73967
Buggy source:
/** 
 * Resolve the property values for the toplevel entity that contains this solver, given the model analyzer that invokes this.
 * @param analyzer The given model analyzer.
 */
protected void _resolveProperties(NamedObj analyzer) throws KernelException {
  NamedObj toplevel=_toplevel();
  PropertyConstraintHelper toplevelHelper=(PropertyConstraintHelper)getHelper(toplevel);
  toplevelHelper.reinitialize();
  toplevelHelper._addDefaultConstraints(_getConstraintType(actorConstraintType.stringValue()));
  toplevelHelper._setConnectionConstraintType(_getConstraintType(connectionConstraintType.stringValue()),_getConstraintType(compositeConnectionConstraintType.stringValue()),_getConstraintType(fsmConstraintType.stringValue()),_getConstraintType(expressionASTNodeConstraintType.stringValue()));
  List<Inequality> constraintList=toplevelHelper.constraintList();
  List<Inequality> errorList=constraintList;
  List<Inequality> testList=errorList;
  boolean exception=false;
  try {
    _resolveProperties(toplevel,toplevelHelper,testList);
    checkResolutionErrors();
  }
 catch (  TypeConflictException ex) {
    System.err.println("String_Node_Str");
    throw ex;
  }
catch (  PropertyResolutionException ex) {
    System.err.println("String_Node_Str");
    exception=true;
  }
  if (!exception)   return;
  int blockSize=errorList.size() / 2;
  WHILE_LOOP:   while (blockSize >= 1) {
    for (int i=0; i < errorList.size(); i+=blockSize) {
      try {
        Set<Inequality> tmpSet=new HashSet(errorList.subList(i,Math.min(errorList.size(),i + blockSize)));
        testList=new LinkedList(errorList);
        testList.removeAll(tmpSet);
        if (testList.size() > 0) {
          _resolveProperties(toplevel,toplevelHelper,testList);
          checkResolutionErrors();
        }
      }
 catch (      TypeConflictException ex) {
        System.err.println("String_Node_Str");
        throw ex;
      }
catch (      PropertyResolutionException ex) {
        System.err.println("String_Node_Str");
        errorList=testList;
        continue WHILE_LOOP;
      }
    }
    blockSize/=2;
  }
  System.out.println(errorList);
}

Fixed version (ground truth):
/** 
 * Resolve the property values for the toplevel entity that contains this solver, given the model analyzer that invokes this.
 * @param analyzer The given model analyzer.
 */
protected void _resolveProperties(NamedObj analyzer) throws KernelException {
  NamedObj toplevel=_toplevel();
  PropertyConstraintHelper toplevelHelper=(PropertyConstraintHelper)getHelper(toplevel);
  toplevelHelper.reinitialize();
  toplevelHelper._addDefaultConstraints(_getConstraintType(actorConstraintType.stringValue()));
  toplevelHelper._setConnectionConstraintType(_getConstraintType(connectionConstraintType.stringValue()),_getConstraintType(compositeConnectionConstraintType.stringValue()),_getConstraintType(fsmConstraintType.stringValue()),_getConstraintType(expressionASTNodeConstraintType.stringValue()));
  List<Inequality> constraintList=toplevelHelper.constraintList();
  List<Inequality> errorList=constraintList;
  List<Inequality> testList=errorList;
  _resolveProperties(toplevel,toplevelHelper,testList);
  if (!checkForErrors()) {
    return;
  }
  int blockSize=errorList.size() / 2;
  WHILE_LOOP:   while (blockSize >= 1) {
    for (int i=0; i < errorList.size(); i+=blockSize) {
      Set<Inequality> tmpSet=new HashSet(errorList.subList(i,Math.min(errorList.size(),i + blockSize)));
      testList=new LinkedList(errorList);
      testList.removeAll(tmpSet);
      if (testList.size() > 0) {
        _resolveProperties(toplevel,toplevelHelper,testList);
        if (checkForErrors()) {
          errorList=testList;
          if (blockSize > errorList.size())           blockSize=errorList.size() / 2;
          continue WHILE_LOOP;
        }
      }
    }
    blockSize/=2;
    System.err.println("String_Node_Str" + blockSize);
  }
  System.out.println(errorList);
  _resolveProperties(toplevel,toplevelHelper,errorList);
}