public static void destroyAllInferenceCaches(Context context, Keyword kind) {
    Logic.destroyInferenceCache(context, kind);
    { Context child = null;
      AllPurposeIterator iter000 = Context.allSubcontexts(((Context)(Stella.$CONTEXT$.get())), Logic.KWD_PREORDER);

      while (iter000.nextP()) {
        child = ((Context)(iter000.value));
        if (Logic.worldStateP(child)) {
          Logic.destroyInferenceCache(child, kind);
        }
      }
    }
  }