added code to pretty-print the s-expressions