public static void rewrapPropositionArguments(Proposition self) {
    { Stella_Object arg = null;
      Vector vector000 = self.arguments;
      int index000 = 0;
      int length000 = vector000.length();
      int i = Stella.NULL_INTEGER;
      int iter000 = 0;

      for (;index000 < length000; index000 = index000 + 1, iter000 = iter000 + 1) {
        arg = (vector000.theArray)[index000];
        i = iter000;
        if ((arg != null) &&
            Logic.rewrapIthArgumentP(arg, self, i)) {
          (self.arguments.theArray)[i] = (Logic.rewrapArgument(arg));
        }
      }
    }
  }