anchor.diff:          Init = ReadFun(),
           Loop =
               fun(F, Prev) ->
  -                V = ReadFun(),
  -                case LTEQCompareFun(Prev, V) of
  -                    true ->
  -                        F(F, V);
  -                    false ->
  -                        ct:pal("~n~w ~nis not smaller or equals than ~n~w", [Prev, V]),
  -                        UnitTestPid ! {compare_failed, Prev, V},
  -                        F(F, V)
  +                receive {reader_done} ->
  +                    UnitTestPid ! {reader_terminated}
  +                after 0 ->
  +                    V = ReadFun(),
  +                    case LTEQCompareFun(Prev, V) of
  +                        true ->
  +                            F(F, V);
  +                        false ->
  +                            ct:pal("~n~w ~nis not smaller or equals than ~n~w", [Prev, V]),
  +                            UnitTestPid ! {compare_failed, Prev, V},
  +                            F(F, V)
  +                    end
                   end
               end,
           case TraceId of
  
positive.code:                                         end,
                                          NextReader = lists:nth(randoms:rand_uniform(1, length(Pids)+1), Pids),
                                          NextReader ! {read, Pids, Result},
                                          ok
                                  end,
                                  F(F)
                              end,
                          Loop(Loop)
                      end)
  
negative.code:         [spawn(
             fun() ->
                     Loop = fun(F) ->
                              receive
                                  {reader_done} ->
                                      UnitTestPid ! {reader_terminated}
                              after 0 ->
                                  {ok, Result} = gcounter_on_cseq:read_state(Key),
                                  UnitTestPid ! {testreturn, Id, Result},
                                  F(F)
                              end
                            end,
                     proto_sched:thread_begin(TraceId),
                     Loop(Loop),
  