public static void runTruthChangeDemon(Proposition proposition, Surrogate truthchangerelation) {
    { NamedDescription description = Logic.getDescription(((Surrogate)(proposition.operator)));
      Stella_Object demoncomputation = ((description != null) ? Logic.accessBinaryValue(description, truthchangerelation) : ((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});
          }
        }
      }
    }
  }