* @param localP
   * @return Iterator
   */
  public static Iterator allInconsistentPropositions(Module module, boolean localP) {
    { Iterator propositionsIterator = Logic.allPropositions(module, localP);
      AllPurposeIterator iterator = AllPurposeIterator.newAllPurposeIterator();

      iterator.iteratorObject = module;
      iterator.firstIterationP = true;
      iterator.iteratorNestedIterator = propositionsIterator;
      iterator.iteratorNextCode = Native.find_java_method("edu.isi.stella.AllPurposeIterator", "filteredNestedIteratorNextP", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.AllPurposeIterator")});
      iterator.iteratorFilterCode = Native.find_java_method("edu.isi.powerloom.logic.Logic", "filterInconsistentPropositionP", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("edu.isi.stella.AllPurposeIterator")});
      return (iterator);
    }
  }