anchor.diff:  cl(["--show"|Opts]) -> {{mode, ?SHOW}, Opts};
   cl(["--show_exported"|Opts]) -> {{mode, ?SHOW_EXPORTED}, Opts};
   cl(["--show-exported"|Opts]) -> {{mode, ?SHOW_EXPORTED}, Opts};
  +cl(["--show-success-typings"|Opts]) -> {show_succ, Opts};
   cl(["--annotate"|Opts]) -> {{mode, ?ANNOTATE}, Opts};
   cl(["--annotate-inc-files"|Opts]) -> {{mode, ?ANNOTATE_INC_FILES}, Opts};
   cl(["--no_spec"|Opts]) -> {no_spec, Opts};
  
positive.code:   {Args, Analysis#analysis{includes = NewVal}};
  analyze_result({plt, Plt}, Args, Analysis) ->
    {Args, Analysis#analysis{plt = Plt}};
  analyze_result(no_spec, Args, Analysis) ->
    {Args, Analysis#analysis{no_spec = true}}.
  
  
negative.code:       {value, List} -> List
      end,
    CodeServer = Analysis#analysis.codeserver,
    TypeInfoList =
      case Analysis#analysis.show_succ of
        true ->
  	[convert_type_info(I) || I <- TypeInfo];
        false ->
  	[get_type(I, CodeServer, Records) || I <- TypeInfo]
      end,
    map__from_list(TypeInfoList).
  
  convert_type_info({{_M, F, A}, Range, Arg}) ->
    {{F, A}, {Range, Arg}}.
  
  get_type({{M, F, A} = MFA, Range, Arg}, CodeServer, Records) ->
    case dialyzer_codeserver:lookup_mfa_contract(MFA, CodeServer) of
  