public static void overlayWithConstantProposition(Proposition self, Proposition constantproposition) {
    { Proposition overlay = Logic.createProposition(Logic.SYM_LOGIC_CONSTANT, 0);

      overlay.operator = constantproposition.operator;
      { Proposition object000 = overlay;
        TruthValue value000 = ((TruthValue)(Stella_Object.accessInContext(constantproposition.truthValue, constantproposition.homeContext, false)));
        Stella_Object oldValue001 = object000.truthValue;
        Stella_Object newValue000 = Stella_Object.updateInContext(oldValue001, value000, object000.homeContext, false);

        if (!((oldValue001 != null) &&
            (oldValue001.primaryType() == Logic.SGT_STELLA_CS_VALUE))) {
          object000.truthValue = newValue000;
        }
      }
      Proposition.overlayProposition(self, overlay);
    }
  }