冯某对市房管局向孙某核发房屋所有权证的行为不服，以自己是房屋所有权人为由请求法院判决撤销某市房管局的发证行为。冯某向法院提交了房屋所有权证，孙某向法院提交了该房屋买卖合同，市房管局向法院提交了孙某的房屋产权登记申请、契税完税证等证据。下列哪一说法是正确的( )

A．法院在收到被告提交的证据后应当出具收据，加盖法院印章

B．孙某可以在一审庭审结束前向法院提交房屋买卖合同

C．冯某向法院提交其房屋所有权证是承担举证责任的表现

D．房屋所有权证；房屋买卖合同、房屋产权登记申请、契税完税证均系书证

对建立良好的程序设计风格，下面描述正确的是( )。

A．程序应简单、清晰、可读性好

B．符号名的命名只要符合语法

C．充分考虑程序的执行效率

D．程序的注释可有可无