Program: 28216
Project: 28216
Buggy source:
public void testMayEffectMutableState(){
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
}

Fixed version (ground truth):
public void testMayEffectMutableState(){
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
}