anchor.diff:  
   
   %% =====================================================================
  -%% @spec bifs_side_effect_table()->[{{atom(), atom(), integer()}, bool()}]
  +%% @spec bifs_side_effect_table()->[{{atom(), atom(), integer()}, boolean()}]
   %% @doc The side effect table of BIFs.
  --spec(bifs_side_effect_table()->[{{atom(), atom(), integer()}, bool()}]).
  +-spec(bifs_side_effect_table()->[{{atom(), atom(), integer()}, boolean()}]).
   bifs_side_effect_table() ->
       [{{erlang, abs, 1}, false}, {{erlang, append_element, 2}, false}, {{erlang, atom_to_list, 1}, false},
        {{erlang, binary_to_list, 1}, false}, {{erlang, binary_to_list, 3}, false}, {{erlang, binary_to_term, 1}, false},
  
positive.code:     end.
  
  -spec(full_tdTP/3::(fun((syntaxTree(), anyterm()) ->
  			       {syntaxTree(), bool()}), syntaxTree(), anyterm()) ->
  	     {syntaxTree(), bool()}).
  full_tdTP(Function, Node, Others) ->
      case Function(Node, Others) of
  	{Node1, Changed} ->
  
negative.code:      end.
  
  %% =====================================================================
  %% @spec parse_annotate_file(FName::filename(), ByPassPreP::boolean(), SearchPaths::[dir()])
  %%                           -> {ok, {syntaxTree(), ModInfo}} | {error, string()}
  %%
  %%       ModInfo = [{Key, term()}]
  