注册会计师在对销售与收款循环进行审计时，遇到下列问题，请代为作出正确的专业判断。

下列审计程序对于证实资产负债表日应收账款余额是否真实，最无效的是( )。

A．对债务人进行函证
B．检查资产负债表日后收款情况
C．从应收账款明细账追查至销售发票、发运单等原始凭证
D．从发运单追查至销售发票