public static void printKifOperatorWithArguments(String operator, Vector arguments, boolean separatelinesP, boolean omitlastargumentP) {
    { OutputStream stream = ((OutputStream)(Logic.$PRINTLOGICALFORMSTREAM$.get()));

      stream.nativeStream.print("(" + operator + (((arguments.length() > 0) ? " " : "")));
      Logic.increaseIndent(operator.length() + 2);
      Logic.printKifArguments(arguments, separatelinesP, omitlastargumentP);
      Logic.decreaseIndent(operator.length() + 2);
      stream.nativeStream.print(")");
    }
  }