anchor.diff:  uniq([]) -> [].
   
   -ifdef(TEST).
  --dialyzer({[no_match, no_fail_call, no_improper_lists], uniq_test_/0}).
  +-dialyzer({[no_fail_call, no_improper_lists], uniq_test_/0}).
   uniq_test_() ->
       {"uniq",
        [?_assertError(function_clause, uniq(ok)),
  
positive.code:     io_lib:fwrite("*** ~ts ***\n~ts\n\n", [Title, Msg]).
  
  -ifdef(TEST).
  -dialyzer({no_match, format_exception_test_/0}).
  format_exception_test_() ->
      [?_assertMatch(
          "\nymmud:rorre"++_,
  
negative.code: 
  -ifdef(TEST).
  
  trie_test_() ->
      [{"basic representation",
        [?_assert(trie_new() =:= gb_trees:empty()),
  