public static void pprintQuantifiedVariables(Vector variables, boolean includetypesP, org.powerloom.PrintableStringWriter stream) {
    if (variables == null) {
      return;
    }
    stream.print("(");
    Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 1);
    { Skolem vbl = null;
      Vector vector000 = variables;
      int index000 = 0;
      int length000 = vector000.length();
      int i = Stella.NULL_INTEGER;
      int iter000 = 1;

      for (;index000 < length000; index000 = index000 + 1, iter000 = iter000 + 1) {
        vbl = ((Skolem)((vector000.theArray)[index000]));
        i = iter000;
        if (includetypesP) {
          stream.print("(");
        }
        { Surrogate testValue000 = Stella_Object.safePrimaryType(vbl);

          if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_LOGIC_PATTERN_VARIABLE)) {
            { PatternVariable vbl000 = ((PatternVariable)(vbl));

              OntosaurusUtil.pprintObject(vbl000, stream);
            }
          }
          else if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_LOGIC_SKOLEM)) {
            { Skolem vbl000 = ((Skolem)(vbl));

              OntosaurusUtil.pprintObject(vbl000, stream);
            }
          }
          else {
            { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

              stream000.nativeStream.print("`" + testValue000 + "' is not a valid case option");
              throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
            }
          }
        }
        if (includetypesP) {
          OntosaurusUtil.pprintObject(Logic.logicalType(vbl), stream);
          stream.print(")");
        }
        if (i < variables.length()) {
          if (includetypesP) {
            OntosaurusUtil.pprintNewline(stream);
          }
          else {
            stream.print(" ");
          }
        }
      }
    }
    Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 1);
    stream.print(")");
  }