对积极式函证未收到询证函的情况，审计人员可以采取的替代审计程序是检查与销售有关的文件，包括销售合同