public static boolean excludedPropositionP(Proposition proposition, Module module) {
    if (Proposition.unknownP(proposition) &&
        (proposition.homeModule() == module)) {
      return (true);
    }
    if ((((BooleanWrapper)(((HashTable)(Logic.$EXCLUDEDPROPOSITIONS$.get())).lookup(proposition))) != null) ||
        (((Proposition)(KeyValueList.dynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_MASTER_PROPOSITION, null))) != null)) {
      return (true);
    }
    { Keyword testValue000 = proposition.kind;

      if (testValue000 == Logic.KWD_ISA) {
        if (Stella_Object.isaP((proposition.arguments.theArray)[0], Logic.SGT_STELLA_LITERAL_WRAPPER) ||
            (Logic.functionOutputSkolemP((proposition.arguments.theArray)[0]) ||
             Logic.hiddenRelationP(((Surrogate)(proposition.operator))))) {
          return (true);
        }
      }
      else if (testValue000 == Logic.KWD_FUNCTION) {
        { Stella_Object lastarg = proposition.arguments.last();

          if ((Logic.skolemP(lastarg) &&
              (Stella_Object.eqlP(Logic.valueOf(lastarg), lastarg) &&
               (!Proposition.topLevelExistsPropositionP(proposition)))) ||
              Logic.hiddenRelationP(((Surrogate)(proposition.operator)))) {
            return (true);
          }
        }
      }
      else if (testValue000 == Logic.KWD_PREDICATE) {
        if (Logic.hiddenRelationP(((Surrogate)(proposition.operator)))) {
          return (true);
        }
      }
      else {
      }
    }
    return (false);
  }