* @param module
   * @return boolean
   */
  public static boolean locallyModifiedPropositionP(Proposition proposition, Module module) {
    { Stella_Object truthvalue = proposition.truthValue;

      if ((truthvalue == null) ||
          Stella_Object.isaP(truthvalue, Logic.SGT_LOGIC_TRUTH_VALUE)) {
        return (proposition.homeModule() == module);
      }
      else {
        { Stella_Object ctxt = null;
          Stella_Object tv = null;
          KvCons iter000 = ((KeyValueList)(truthvalue)).theKvList;

          for (;iter000 != null; iter000 = iter000.rest) {
            ctxt = iter000.key;
            tv = iter000.value;
            tv = tv;
            if (ctxt == module) {
              return (true);
            }
          }
        }
      }
      return (false);
    }
  }