public static String toggleGoalCaching() {
    if (Logic.$CACHE_SUCCEEDED_GOALSp$) {
      {
        Logic.$CACHE_SUCCEEDED_GOALSp$ = false;
        Logic.$CACHE_FAILED_GOALSp$ = false;
        Logic.incrementNowTimestamp();
        return ("Disabled goal caching.");
      }
    }
    else {
      {
        Logic.$CACHE_SUCCEEDED_GOALSp$ = true;
        Logic.$CACHE_FAILED_GOALSp$ = true;
        return ("Enabled goal caching.");
      }
    }
  }