anchor.diff:      %% check each pair of returns... it should be enough to only check a subset
       %% of pairs but this is good enough for now
       ct:pal("Check if all ~p reads preformend can be ordered...", [length(lists:flatten(ReadResults))]),
  -    [
  -        begin
  +    _ = [begin
               {L1, L2} = {lists:nth(L1Idx, ReadResults), lists:nth(L2Idx, ReadResults)},
               [
                ?equals(gcounter:lteq(E1, E2) orelse gcounter:lteq(E2, E1), true)
               || E1 <- L1, E2 <- L2]
  -        end
  -    || L1Idx <- lists:seq(1, ReaderCount), L2Idx <- lists:seq(1, ReaderCount), L1Idx =< L2Idx],
  +         end
  +        || L1Idx <- lists:seq(1, ReaderCount), L2Idx <- lists:seq(1, ReaderCount), L1Idx =< L2Idx],
   
       ok.
   
  
positive.code:                     end,
                      ?equals(true, O < N)
                 end,
      spawn_writers(UnitTestPid, Parallel, Count, WriteFun),
      wait_writers_completion(Parallel),
  
      ok.
  
negative.code:                     (I) when I div 2 == 0 -> ok = gcounter_on_cseq:inc(Key);
                      (_)                   -> ok = gcounter_on_cseq:inc_eventual(Key)
                 end,
      _ = spawn_writers(UnitTestPid, Parallel, Count, WriteFun),
      wait_writers_completion(Parallel),
  
      %% kill reader
  