public static boolean worldStateP(Context self) {
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(self), Logic.SGT_STELLA_WORLD)) {
      { World self000 = ((World)(self));

        return ((((Context)(KeyValueList.dynamicSlotValue(self000.dynamicSlots, Logic.SYM_LOGIC_INFERENCE_CACHE_OF, null))) == null) &&
            (!((BooleanWrapper)(KeyValueList.dynamicSlotValue(self000.dynamicSlots, Logic.SYM_LOGIC_MONOTONICp, Stella.FALSE_WRAPPER))).wrapperValue));
      }
    }
    else {
      return (true);
    }
  }