Start pretty-printing of constraint-based AST