(一)资料
20×7年3月，某审计组对某公司20×6年度财务收支进行审计。有关情况和资料如下：
(1)审计人员对货币资金业务内部控制进行测试时，发现如下情况：
①收付业务办理后，出纳员甲在原始凭证上加盖“收讫”或“付讫”戳记。
②为方便款项的及时支付，支票和印章由会计人员乙统一保管。
③5万元以下的付款业务，会计人员乙可以直接办理；5万元以上的付款业务，均需由财务经理丙审批签字后方可支付。
④会计主管丁定期核对银行存款日记账与银行对账单，并编制银行存款余额调节表。
(2)审计人员对库存现金进行了监盘。库存现金盘点数是7000元。另有一张上月经销售经理签字批准的金额为5000元的差旅费借条，盘点时现金日记账余额为13000元，无其他未入账凭证；此外在保险柜中发现一本个人活期存折，20×6年10月9日开户，户名为出纳员甲，开户当天存入现金80000元，经询问是保险公司支付的当年保险赔偿金。
(3)审计人员发现，该公司一笔50万元定期存款20×6年12月15日被银行冻结。
(二)要求：根据上述资料，为下列问题从备选答案中选出正确的答案。

为查实“资料3”的情况，审计人员可实施的审计程序有( )。

A．计算定期存款占银行存款的比例

B．审核银行存款日记账记录

C．向银行发函询证

D．到银行核实情况