anchor.diff:  
   do(Args, State, Plt) ->
       Output = get_output_file(State),
  +    case debug_info(State) of
  +        true ->
  +            ok;
  +        false ->
  +            ?WARN("Add debug_info to compiler options (erl_opts) "
  +                  "if Dialyzer fails to load Core Erlang.", [])
  +    end,
       {PltWarnings, State1} = update_proj_plt(Args, State, Plt, Output),
       {Warnings, State2} = succ_typings(Args, State1, Plt, Output),
       case PltWarnings + Warnings of
  
positive.code: 
  debug_info(State) ->
      Config = rebar_state:get(State, erl_opts, []),
      proplists:get_value(debug_info, Config, true).
  
  -spec collect_nested_dependent_apps([atom()]) -> [atom()].
  collect_nested_dependent_apps(RootApps) ->
  
negative.code:     get_files(State, Apps, PltApps, [], PltMods).
  
  run_dialyzer(State, Opts, Output) ->
      %% dialyzer may return callgraph warnings when get_warnings is false
      case proplists:get_bool(get_warnings, Opts) of
          true ->
  