public static Proposition skolemizeExistsProposition(Proposition existsproposition) {
    { KeyValueMap mapping = KeyValueMap.newKeyValueMap();
      Proposition skolemizedproposition = null;

      { PatternVariable var = null;
        Vector vector000 = ((Vector)(KeyValueList.dynamicSlotValue(existsproposition.dynamicSlots, Logic.SYM_LOGIC_IO_VARIABLES, null)));
        int index000 = 0;
        int length000 = vector000.length();

        for (;index000 < length000; index000 = index000 + 1) {
          var = ((PatternVariable)((vector000.theArray)[index000]));
          PatternVariable.createSkolemForUnmappedVariable(var, mapping);
        }
      }
      skolemizedproposition = Proposition.recursivelyFastenDownPropositions(Proposition.inheritProposition(((Proposition)((existsproposition.arguments.theArray)[0])), mapping), false);
      Proposition.destroyRedundantProposition(existsproposition);
      return (skolemizedproposition);
    }
  }