anchor.diff:  
                 receive
                     {counter_updated, Value} ->
  -                      ?assert(Value =< Initial + 1)
  +                      true = (Value =< Initial + 1)
                 end
         end).
   
  
positive.code:                       ok
                after
                    100 ->
                        ?assert(false)
                end
        end).
  
  
negative.code:                       ok
                after
                    100 ->
                        just_fail()
                end
        end).
  
  