对于没有函证的应收账款，可以考虑的首选替代审计程序为（　　）。