anchor.diff:  
   analyze_file(FName) -> {ok, []}.
   
  -rank(_, _) -> 
  +rank(_, R) -> 
   	%TODO
  -	[].
  +	R.
   
   
  
positive.code: 	[{M,F,A} || 
  		M1 <- LFuns, 
  		{{M,F,A},_,_} <- M1, 
  		A == Ar].
  
  -define(MAX_PERMS, 5).
  
  
negative.code: 	rm_temp_file(FName),
  	rank(M2F, R).
  
  -define(FIRST_FN, 1).
  
  split_bod_inf({Func, {M,F,_A}=MFA, Bods}, Mag) ->
  	FNs  = [begin
  				N = gen_magic_wrapper_func_name(Func, M, F, I) -- "''",
  				B = iolist_to_binary(N),
  				binary_to_atom(B, latin1)
  			end || I <- lists:seq(?FIRST_FN,length(Bods))],
  	Mag1 = lists:foldl(fun(FNi, PrevMag) -> 
  					dict:store(FNi, MFA, PrevMag) 
  			end, Mag, FNs),
  	{Bods, Mag1}.
  
  generate_magic_file(Req) ->
  	Arity  = hint_search_req:arity(Req),
  	AFuncs = funcs_with_arity(Arity),
  	Func   = hint_search_req:func(Req),
  	String = hint_search_req:string(Req),
  	Header = gen_magic_header(),
  	BodInf = 
  		[{Func, MFA, gen_magic_wrappers({Func, String, Arity}, MFA)}
  			|| MFA <- AFuncs],
  	{Bodies, Magic2F} = 
  		lists:mapfoldl(fun split_bod_inf/2, dict:new(), BodInf),
  	{ok, Magic2F, [Header, Bodies]}.
  
  gen_magic_header() ->
  