add ES3.VarDeclStmt; improve pretty printing