源代码的格式

Description
众所周知，每当讨论合理的代码格式时，程序员们都会发动一场关乎信仰的战争。当一个新的程序团队在一个工程上开工时，他们经常会带来有些不同的代码风格并且希望把老的源代码按照他们自己的代码风格排版。除此之外，没有经验的程序员还经常会无视好的、始终不变的代码风格的重要性，这会大大增加他所在团队和他自己的负担。这种情况使得代码排版工具的市场越来越大。
你加入了一个叫做“Salvation”的新的代码排版工具的概念验证工程。这个工程只是个并未瞄准实际用途，而是用来证明你分析语法、格式化高级语言能力的的试验性工程。你的任务是编写将一种叫做TRIVIAL (The Rival Implementation-Agnostic Language)的语言的代码排版程序。这种语言的词汇很少并且语法结构简单。这种语言没有任何关键字和控制结构，因为这种语言的所有构造都表示为函数调用和封装。
词汇包括标识符，圆、花括号，逗号和分号。标识符仅由数字0_{9和拉丁字母a}z，A~Z组成。单词之间可能由空白符分开，文件开头和最后的空白符也是可以存在的。空白符包括空格，制表符（ASCII码为9）和换行符（由一对ASCII码组成，分别为13，10）。
合法的TRIVIAL程序由下面的结构产生：

程序 ::= 代码块
代码块 ::= '{' 声明集 '}'
声明集 ::= 声明 | 声明 声明集
声明 ::= 语句 ';'
语句 ::= 标识符 ['(' 参数 ')'] [代码块]
参数 ::= 声明 | 声明 ',' 参数

合理的TRIVIAL程序的格式还应当包括下面几点：