public static void normalizeTopLevelProposition(Proposition self) {
    Proposition.normalizeProposition(self);
    if (self.kind == Logic.KWD_FORALL) {
      { Vector iovars = ((Vector)(KeyValueList.dynamicSlotValue(self.dynamicSlots, Logic.SYM_LOGIC_IO_VARIABLES, null)));
        Vector args = self.arguments;

        Proposition.normalizeDescriptiveProposition(((Proposition)((args.theArray)[0])), iovars, Logic.KWD_TAIL);
        Proposition.normalizeDescriptiveProposition(((Proposition)((args.theArray)[1])), iovars, Logic.KWD_HEAD);
      }
    }
  }