public static void normalizeFunctionProposition(Proposition self) {
    { Stella_Object clause = null;
      Vector vector000 = self.arguments;
      int index000 = 0;
      int length000 = vector000.length();

      for (;index000 < length000; index000 = index000 + 1) {
        clause = (vector000.theArray)[index000];
        if (Stella_Object.isaP(clause, Logic.SGT_LOGIC_PROPOSITION)) {
          Proposition.normalizeProposition(((Proposition)(clause)));
        }
      }
    }
  }