public void printSSE(PrintStream ps) {
IndentedWriter out = new IndentedWriter(ps);
out.println("(stats");
out.incIndent();
for (Pattern p : patterns) {
p.output(out);
out.println();
}
out.decIndent();
out.println(")");
out.flush();
}
