public static void logNewlyConceivedProposition(Module self, Proposition proposition) {
    { boolean testValue000 = false;

      { boolean foundP000 = false;

        { Stella_Object arg = null;
          Vector vector000 = proposition.arguments;
          int index000 = 0;
          int length000 = vector000.length();

          loop000 : for (;index000 < length000; index000 = index000 + 1) {
            arg = (vector000.theArray)[index000];
            if (Stella_Object.isaP(arg, Logic.SGT_LOGIC_PATTERN_VARIABLE)) {
              foundP000 = true;
              break loop000;
            }
          }
        }
        testValue000 = foundP000;
      }
      if (testValue000) {
        testValue000 = Logic.$POWERLOOM_EXECUTION_MODE$ == Logic.KWD_DEVELOPMENT;
      }
      if (testValue000) {
        { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

          try {
            Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
            {
              Stella.STANDARD_WARNING.nativeStream.println("WARNING: LOGGED QUESTIONABLE CONCEPTION: ");
              Stella.STANDARD_WARNING.nativeStream.println("   " + proposition);
            }
;
            Logic.helpSignalPropositionError(Stella.STANDARD_WARNING, Logic.KWD_WARNING);

          } finally {
            Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
          }
        }
      }
    }
    Logic.locallyConceivedPropositions(self).insert(proposition);
  }