Thread Safety Analysis: fixes to SExpr pretty printing.