public static boolean filterInconsistentPropositionP(Stella_Object self, AllPurposeIterator iterator) {
    { Module module = ((Module)(iterator.iteratorObject));

      { Object old$Context$000 = Stella.$CONTEXT$.get();
        Object old$Module$000 = Stella.$MODULE$.get();

        try {
          Native.setSpecial(Stella.$CONTEXT$, null);
          Native.setSpecial(Stella.$MODULE$, null);
          { World temp000 = Logic.bestInferenceCache(module);

            Native.setSpecial(Stella.$CONTEXT$, ((temp000 != null) ? ((Context)(temp000)) : ((Context)(module))));
          }
          Native.setSpecial(Stella.$MODULE$, ((Context)(Stella.$CONTEXT$.get())).baseModule);
          return (Proposition.inconsistentP(((Proposition)(self))));

        } finally {
          Stella.$MODULE$.set(old$Module$000);
          Stella.$CONTEXT$.set(old$Context$000);
        }
      }
    }
  }