* @return Cons
   */
  public static Cons listInconsistentPropositions(Cons options) {
    { PropertyList theoptions = Stella_Object.parseOptions(options, Cons.list$(Cons.cons(Logic.KWD_MODULE, Cons.cons(Logic.SGT_STELLA_MODULE, Cons.cons(Logic.KWD_LOCALp, Cons.cons(Logic.SGT_STELLA_BOOLEAN, Cons.cons(Stella.NIL, Stella.NIL)))))), true, false);
      Module themodule = ((Module)(theoptions.lookupWithDefault(Logic.KWD_MODULE, ((Module)(Stella.$MODULE$.get())))));
      boolean localP = BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper)(theoptions.lookupWithDefault(Logic.KWD_LOCALp, Stella.FALSE_WRAPPER))));

      return (Logic.allInconsistentPropositions(themodule, localP).consify());
    }
  }