public static IntervalCache createIntervalCache(LogicObject intervalmember) {
    { IntervalCache intervalcache = IntervalCache.newIntervalCache();

      intervalcache.intervalMember = intervalmember;
      intervalcache.homeContext = ((Context)(Stella.$CONTEXT$.get()));
      Logic.assertBinaryValue(PlKernelKb.SGT_PL_KERNEL_KB_INTERVAL_CACHE_OF, intervalmember, intervalcache);
      return (intervalcache);
    }
  }