}
public IValue _quickcheck(IValue function, IBool verbose, IBool maxVerbose, IInteger maxDepth, IInteger tries,
IEvaluatorContext eval) {
NullOutputStream nullStream = new NullOutputStream();
PrintWriter printer = new PrintWriter(nullStream);
PrintWriter out = (verbose.getValue()) ? eval.getStdOut() : printer;
ArrayList<AbstractFunction> functions = extractFunctions(function, eval);