Program: 97413
Project: 97413
Buggy source:
private void check(BranchData branchData){
  BranchState state=branchData.getBranchState();
  BranchType type=branchData.getBranchType();
  if (BranchType.SYSTEM_ROOT.equals(type)) {
    if (!BranchState.CREATED.equals(state)) {
      branchData.setBranchState(BranchState.CREATED);
      branchData.setReason("String_Node_Str");
    }
  }
 else   if (state != BranchState.DELETED && state != BranchState.COMMIT_IN_PROGRESS && state != BranchState.REBASELINE_IN_PROGRESS) {
    if (BranchType.WORKING.equals(type)) {
      if (isRebaselined(branchData)) {
        branchData.setBranchState(BranchState.REBASELINED);
        branchData.setReason("String_Node_Str");
      }
 else       if (hasBeenCommitted(branchData)) {
        branchData.setBranchState(BranchState.COMMITTED);
        branchData.setReason("String_Node_Str");
      }
 else       if (branchData.getNumberOfTxs() > 1) {
        branchData.setBranchState(BranchState.MODIFIED);
        branchData.setReason("String_Node_Str");
      }
 else {
        branchData.setBranchState(BranchState.CREATED);
        branchData.setReason("String_Node_Str");
      }
    }
 else     if (BranchType.MERGE.equals(type)) {
      if (hasBeenCommitted(branchData)) {
        branchData.setBranchState(BranchState.COMMITTED);
        branchData.setReason("String_Node_Str");
      }
 else       if (branchData.getNumberOfTxs() > 1) {
        branchData.setBranchState(BranchState.MODIFIED);
        branchData.setReason("String_Node_Str");
      }
 else {
        branchData.setBranchState(BranchState.CREATED);
        branchData.setReason("String_Node_Str");
      }
    }
  }
}

Fixed version (ground truth):
private void check(BranchData branchData){
  BranchState state=branchData.getBranchState();
  BranchType type=branchData.getBranchType();
  if (BranchType.SYSTEM_ROOT.equals(type)) {
    if (!BranchState.CREATED.equals(state)) {
      branchData.setBranchState(BranchState.CREATED);
      branchData.setReason("String_Node_Str");
    }
  }
 else   if (state == BranchState.CREATED || state == BranchState.MODIFIED || state == BranchState.COMMITTED || state == BranchState.REBASELINED || state == BranchState.CREATION_IN_PROGRESS) {
    if (BranchType.WORKING.equals(type)) {
      if (isRebaselined(branchData)) {
        branchData.setBranchState(BranchState.REBASELINED);
        branchData.setReason("String_Node_Str");
      }
 else       if (hasBeenCommitted(branchData)) {
        branchData.setBranchState(BranchState.COMMITTED);
        branchData.setReason("String_Node_Str");
      }
 else       if (branchData.getNumberOfTxs() > 1) {
        branchData.setBranchState(BranchState.MODIFIED);
        branchData.setReason("String_Node_Str");
      }
 else {
        branchData.setBranchState(BranchState.CREATED);
        branchData.setReason("String_Node_Str");
      }
    }
 else     if (BranchType.MERGE.equals(type)) {
      if (hasBeenCommitted(branchData)) {
        branchData.setBranchState(BranchState.COMMITTED);
        branchData.setReason("String_Node_Str");
      }
 else       if (branchData.getNumberOfTxs() > 1) {
        branchData.setBranchState(BranchState.MODIFIED);
        branchData.setReason("String_Node_Str");
      }
 else {
        branchData.setBranchState(BranchState.CREATED);
        branchData.setReason("String_Node_Str");
      }
    }
  }
}