public static Context getInferableTestContext() {
    if (!Logic.worldStateP(((Context)(Stella.$CONTEXT$.get())))) {
      return (((Context)(Stella.$CONTEXT$.get())));
    }
    else {
      { World temp000 = Logic.lookupInferenceCache(((Context)(Stella.$CONTEXT$.get())), Logic.KWD_META);

        { Context value000 = ((temp000 != null) ? temp000 : ((Context)(Stella.$CONTEXT$.get())));

          return (value000);
        }
      }
    }
  }