Program: 27585
Project: 27585
Buggy source:
public void testStructPropAccess(){
  typeCheck("String_Node_Str" + "String_Node_Str");
  typeCheck("String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str",TypeCheck.ILLEGAL_OBJLIT_KEY);
  typeCheck("String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
}

Fixed version (ground truth):
public void testStructPropAccess(){
  typeCheck("String_Node_Str" + "String_Node_Str");
  typeCheck("String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str",TypeCheck.ILLEGAL_OBJLIT_KEY);
  typeCheck("String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str",TypeValidator.ILLEGAL_PROPERTY_ACCESS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str",NewTypeInference.MISTYPED_ASSIGN_RHS);
  typeCheck("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str",NewTypeInference.MISTYPED_ASSIGN_RHS);
}