anchor.diff:      {CheckWarnings, State2} = check_plt(State1, Plt, sets:to_list(Check)),
       Add = sets:subtract(Files, Old),
       {AddWarnings, State3} = add_plt(State2, Plt, sets:to_list(Add)),
  -    ?DEBUG("~p", [[RemWarnings, CheckWarnings, AddWarnings]]),
       {RemWarnings + CheckWarnings + AddWarnings, State3}.
   
   remove_plt(State, _Plt, []) ->
  
positive.code:             Opts2 = [{warnings, WarningsList},
                       {check_plt, false} |
                       Opts],
              {Unknowns, Warnings} = format_warnings(dialyzer:run(Opts2)),
              _ = [?CONSOLE("~s", [Unknown]) || Unknown <- Unknowns],
              _ = [?CONSOLE("~s", [Warning]) || Warning <- Warnings],
  
negative.code:             Opts2 = [{warnings, no_warnings()},
                       {check_plt, false} |
                       Opts],
              ?DEBUG("Running dialyzer with options: ~p~n", [Opts2]),
              _ = dialyzer:run(Opts2),
              {0, State}
      end.
  