Added bits for pretty-printing ASTs