presto-matching/src/main/java/io/prestosql/matching/DefaultPrinter.java/DefaultPrinter/visitWith
class DefaultPrinter:    @Override
    public void visitWith(WithPattern<?> pattern)
    {
        visitPrevious(pattern);
        appendLine("with(%s)", pattern.getProperty().getName());
        level += 1;
        pattern.getPattern().accept(this);
        level -= 1;
    }