public static void flushInferableDirectSubdescriptionsCache(Proposition impliesproposition) {
    if (((ClassificationSession)(Logic.$CLASSIFICATIONSESSION$.get())) == null) {
      return;
    }
    { ClassificationCache cache = Logic.getClassificationCache((impliesproposition.arguments.theArray)[1]);

      if (cache != null) {
        cache.inferableDirectSubdescriptions = null;
      }
    }
  }