anchor.diff:    case UnfilteredWarnings =/= Warnings of
       true ->
         Message = "Some errors were silenced (--ignore_error).~n",
  -      ?unique(Logger, ?linfo, Message, []);
  +      ?unique(Logger, ?lwarning, Message, []);
       false ->
         ok
     end,
  
positive.code:     " too many interleavings consider refactoring your code.~n";
  msg(shutdown) ->
    "A process crashed with reason 'shutdown'. This may happen when a"
      " supervisor is terminating its children. You can use --treat_as_normal"
      " shutdown if this is expected behaviour.~n";
  msg(sleep_set_block) ->
    "Some interleavings were 'sleep-set blocked'. This is expected if you have"
      " specified --optimal=false, but reveals wasted effort.~n";
  msg(timeout) ->
    "A process crashed with reason '{timeout, ...}'. This may happen when a"
      " call to a gen_server (or similar) does not receive a reply within some"
      " standard timeout. Use the --after_timeout option to treat after clauses"
      " that exceed some threshold as 'impossible'.~n";
  msg(treat_as_normal) ->
    "Some abnormal exit reasons were treated as normal (--treat_as_normal).~n".
  
negative.code:         false ->
            Message =
              "Some interleavings were not considered due to delay bounding.~n",
            ?unique(Logger, ?lwarning, Message, []),
            ?debug(Logger, "     OVER BOUND~n",[]),
            skip
        end
  