anchor.diff:  							      {'ok', {tuple, integer()}, [{atom(), atom(), integer()}]}).
   
   gen_fsm_to_record(FileName, SearchPaths, TabWidth) ->
  -    ?wrangler_io("\nCMD: ~p:gen_fsm_to_record(~p,~p, ~p).\n",
  -		 [?MODULE, FileName,SearchPaths, TabWidth]),
  +    ?wrangler_io("\nCMD: ~p:gen_fsm_to_record(~p,~p, ~p).\n", [?MODULE, FileName,SearchPaths, TabWidth]),
       gen_fsm_to_record(FileName, SearchPaths, TabWidth, emacs).
   
   gen_fsm_to_record_eclipse(FileName, SearchPaths, TabWidth) ->
  
positive.code:     Res = lists:append([Fun(T) || T <- TypeInfo]),
      lists:usort(Res).
  
  
  
  
  get_gen_fsm_state_functions(ModName, TypeInfo) ->
      case lists:keysearch({ModName, init, 1}, 1, TypeInfo) of 
  	{value, {{ModName, init, 1}, RetType, _ArgsType}} ->
  	    refac_io:format("RetType:\n~p\n", [RetType]),
  	    case RetType of 
  		{c, tuple ,[_, {c, atom, [StateName], _}|_],_} ->
  		    get_gen_fsm_state_functions_1(ModName, TypeInfo,[StateName]);
  		_ -> throw({error, "Wrangler failed to infer the initial state name of the fsm."})
  	    end;
  	false ->
  	    throw({error, "gen_fsm callback function init/1 is not defined."})
     end.
      
  get_gen_fsm_state_functions_1(ModName, TypeInfo, StateNames) ->
      StateNames1 = get_gen_fsm_state_functions_2(TypeInfo, StateNames),
      case StateNames == StateNames1 of 
  	true ->
  	    [{ModName, S, 2} || S <- StateNames];
  	false ->
  	    get_gen_fsm_state_functions_1(ModName, TypeInfo, 
  				    lists:usort(StateNames++StateNames1))
      end.
  
  get_gen_fsm_state_functions_2(TypeInfo, StateNames) ->
      Fun = fun ({{_M, F, A}, RetType, _ArgTypes}) ->
  		  case lists:member(A, [2, 3]) andalso lists:member(F, StateNames) of
  		    true ->
  			case RetType of
  			  {c, tuple, Es, _} ->
  			      case Es of
  				[{c, atom, [next_state], _},
  				 {c, atom, [S], _}| _T] ->
  				    [S];
  				_ ->
  				      throw({error, "Wrangler failed to infer the next state of '"
  						    ++ atom_to_list(F) ++ "'."})
  
negative.code:     lists:usort(Res).
  
  
  is_tuple_to_is_record(Tree, RecordName,RecordToTupleFunName) ->
      ?debug("\nis_tuple_to_is_record\n",[]),
      Fun = fun(Node, _Others) ->
  		  case is_app(Node, {erlang, is_tuple, 1}) of 
  		      true ->
  