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, no_warnings()},
                       {check_plt, false} |
                       Opts],
              _ = dialyzer:run(Opts2),
              {0, State}
      end.
  
negative.code:             get_plt_files(DepApps, Apps, PltApps, Files);
          false ->
              {DepApps2, Files2} = app_name_to_info(AppName),
              ?DEBUG("~s dependencies: ~p", [AppName, DepApps2]),
              ?DEBUG("~s files: ~p", [AppName, Files2]),
              DepApps3 = DepApps2 ++ DepApps,
              Files3 = Files2 ++ Files,
              get_plt_files(DepApps3, Apps, [AppName | PltApps], Files3)
  