Program: 14676
Project: 14676
Buggy source:
private AnalyticsTrackerMixpanelInstructionsForStat instructionsForStat(AnalyticsTracker.Stat stat){
  AnalyticsTrackerMixpanelInstructionsForStat instructions=null;
switch (stat) {
case APPLICATION_OPENED:
    instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
  instructions.setSuperPropertyToIncrement("String_Node_Str");
break;
case APPLICATION_CLOSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case THEMES_ACCESSED_THEMES_BROWSER:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case THEMES_CHANGED_THEME:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_ACCESSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_OPENED_ARTICLE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_LIKED_ARTICLE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_REBLOGGED_ARTICLE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_INFINITE_SCROLL:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_FOLLOWED_READER_TAG:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_UNFOLLOWED_READER_TAG:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_LOADED_TAG:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case READER_LOADED_FRESHLY_PRESSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_COMMENTED_ON_ARTICLE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_CREATED_POST:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_ADDED_PHOTO_VIA_LOCAL_LIBRARY:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_ADDED_PHOTO_VIA_WP_MEDIA_LIBRARY:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_UPDATED_POST:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_SCHEDULED_POST:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST_WITH_PHOTO:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST_WITH_VIDEO:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST_WITH_CATEGORIES:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST_WITH_TAGS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATIONS_ACCESSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case NOTIFICATIONS_OPENED_NOTIFICATION_DETAILS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case NOTIFICATION_PERFORMED_ACTION:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATION_APPROVED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATION_REPLIED_TO:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATION_TRASHED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATION_FLAGGED_AS_SPAM:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case OPENED_POSTS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_PAGES:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_COMMENTS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_VIEW_SITE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_VIEW_ADMIN:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case OPENED_MEDIA_LIBRARY:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_SETTINGS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case CREATED_ACCOUNT:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case CREATED_SITE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case SHARED_ITEM:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case ADDED_SELF_HOSTED_SITE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case SIGNED_INTO_JETPACK:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.addSuperPropertyToFlag("String_Node_Str");
instructions.addSuperPropertyToFlag("String_Node_Str");
break;
case PERFORMED_JETPACK_SIGN_IN_FROM_STATS_SCREEN:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case STATS_SELECTED_INSTALL_JETPACK:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
default :
instructions=null;
break;
}
return instructions;
}

Fixed version (ground truth):
private AnalyticsTrackerMixpanelInstructionsForStat instructionsForStat(AnalyticsTracker.Stat stat){
  AnalyticsTrackerMixpanelInstructionsForStat instructions=null;
switch (stat) {
case APPLICATION_OPENED:
    instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
  instructions.setSuperPropertyToIncrement("String_Node_Str");
break;
case APPLICATION_CLOSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case THEMES_ACCESSED_THEMES_BROWSER:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case THEMES_CHANGED_THEME:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_ACCESSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_OPENED_ARTICLE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_LIKED_ARTICLE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_REBLOGGED_ARTICLE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_INFINITE_SCROLL:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_FOLLOWED_READER_TAG:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_UNFOLLOWED_READER_TAG:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_LOADED_TAG:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case READER_LOADED_FRESHLY_PRESSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case READER_COMMENTED_ON_ARTICLE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_CREATED_POST:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_ADDED_PHOTO_VIA_LOCAL_LIBRARY:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_ADDED_PHOTO_VIA_WP_MEDIA_LIBRARY:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_UPDATED_POST:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_SCHEDULED_POST:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST_WITH_PHOTO:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST_WITH_VIDEO:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST_WITH_CATEGORIES:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case EDITOR_PUBLISHED_POST_WITH_TAGS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATIONS_ACCESSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case NOTIFICATIONS_OPENED_NOTIFICATION_DETAILS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case NOTIFICATION_PERFORMED_ACTION:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATION_APPROVED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATION_REPLIED_TO:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATION_TRASHED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case NOTIFICATION_FLAGGED_AS_SPAM:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case OPENED_POSTS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_PAGES:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_COMMENTS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_VIEW_SITE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_VIEW_ADMIN:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case OPENED_MEDIA_LIBRARY:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case OPENED_SETTINGS:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithPropertyIncrementor("String_Node_Str",AnalyticsTracker.Stat.APPLICATION_CLOSED);
break;
case CREATED_ACCOUNT:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case CREATED_SITE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case SHARED_ITEM:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsWithSuperPropertyAndPeoplePropertyIncrementor("String_Node_Str");
break;
case ADDED_SELF_HOSTED_SITE:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case SIGNED_INTO_JETPACK:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.addSuperPropertyToFlag("String_Node_Str");
instructions.addSuperPropertyToFlag("String_Node_Str");
break;
case PERFORMED_JETPACK_SIGN_IN_FROM_STATS_SCREEN:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
case STATS_ACCESSED:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
instructions.setSuperPropertyAndPeoplePropertyToIncrement("String_Node_Str");
break;
case STATS_SELECTED_INSTALL_JETPACK:
instructions=AnalyticsTrackerMixpanelInstructionsForStat.mixpanelInstructionsForEventName("String_Node_Str");
break;
default :
instructions=null;
break;
}
return instructions;
}