[Fly]

Я думаю, что это просто баг. По логике должно быть вот так:

          WhseSetup."Shipment Posting Policy"::"Posting errors are not processed":
            BEGIN
              IF SalesPost.RUN(SalesHeader) THEN
                CounterSourceDocOK := CounterSourceDocOK + 1;
            END;