源程序的文档化不包括( )。

A．符号名的命名要有实际意义

B．正确的文档形式

C．良好的视觉组织

D．正确的程序注释

按照合同的约定，2009年1月1日建设单位应该向施工单位支付工程款，却没有支付。2009年7月1日至8月1日之间，当地发生了特大地震，导致施工单位不能行使请求权。2009年12月1日，施工单位向法院提起诉讼，请求建设单位支付拖欠的工程款。

下面的说法正确的是( )。

A．2009年7月1日至8月1日之间诉讼时效中止

B．2009年7月1日至8月1日之间诉讼时效中断

C．2009年12月1日起诉讼时效中断

D．2009年12月1日起诉讼时效中止