ABC会计师事务所的C注册会计师负责对z公司20×9年度财务报表进行审计。在审计银行存款时，C注册会计师遇到下列事项，请代为做出正确的专业判断。
如果C注册会计师发现z公司某银行账户在12月31日的银行对账单余额与该银行账户的银行存款日记账余额不符，为查找不符原因或证明银行存款不存在错报，其最有效的审计程序是()。
A、函证银行存款余额
B、检查该银行账户的银行存款余额调节表
C、检查银行存款收支的截止是否正确
D．检查银行存款账户存款人是否为被审计单位