在审计人员为审查被审计单位未入账负债而实施的下列审计程序中，最有效的是()