implement pretty printing for stmts