public static void clipOrClashWithOldPredicateValue(Proposition proposition) {
    { Vector arguments = proposition.arguments;
      int countminustwo = arguments.length() - 2;

      { Proposition p = null;
        Iterator iter000 = Logic.allTrueDependentPropositions((arguments.theArray)[0], ((Surrogate)(proposition.operator)), false);

        while (iter000.nextP()) {
          p = ((Proposition)(iter000.value));
          { boolean alwaysP000 = true;

            { int i = Stella.NULL_INTEGER;
              int iter001 = 1;
              int upperBound000 = countminustwo;
              boolean unboundedP000 = upperBound000 == Stella.NULL_INTEGER;

              loop001 : for (;unboundedP000 ||
                        (iter001 <= upperBound000); iter001 = iter001 + 1) {
                i = iter001;
                if (!Stella_Object.eqlP(Logic.valueOf((arguments.theArray)[i]), Logic.valueOf((p.arguments.theArray)[i]))) {
                  alwaysP000 = false;
                  break loop001;
                }
              }
            }
            if (alwaysP000) {
              if (Stella_Object.eqlP(Logic.valueOf((p.arguments.theArray)[(p.arguments.length() - 1)]), Logic.valueOf(arguments.last()))) {
              }
              else if (((Boolean)(Logic.$CLIPPINGENABLEDp$.get())).booleanValue() &&
                  Logic.worldStateP(((Context)(Stella.$CONTEXT$.get())))) {
                Proposition.deassignTruthValue(p, Logic.KWD_RETRACT_TRUE);
              }
              else {
                Proposition.equateValues(proposition, Logic.valueOf((p.arguments.theArray)[(p.arguments.length() - 1)]), Logic.valueOf(arguments.last()));
              }
            }
          }
        }
      }
    }
  }