public static void helpRunUpdatePropositionDemon(Proposition proposition, Keyword updatemode) {
    { NamedDescription description = Logic.getDescription(((Surrogate)(proposition.operator)));
      Stella_Object demoncomputation = ((description != null) ? Logic.accessBinaryValue(description, Logic.SGT_PL_KERNEL_KB_UPDATE_PROPOSITION_DEMON) : ((Stella_Object)(null)));

      if (demoncomputation != null) {
        { java.lang.reflect.Method functioncode = ComputedProcedure.functionCodeFromProcedure(((ComputedProcedure)(demoncomputation)));

          if (functioncode != null) {
            edu.isi.stella.javalib.Native.funcall(functioncode, null, new java.lang.Object [] {proposition, updatemode});
          }
        }
      }
    }
  }