Refined TryStmt (and interaction with NodePrinter, CodeEmitter and the
tests)