anchor.diff:  		      true -> [];
   		      _ -> [{Exp1, Exp2}]
   		    end;
  -	    integer -> case (T2 == integer orelse T2 == float) andalso
  -			      refac_syntax:integer_value(Exp1) == refac_syntax:integer_value(Exp2)
  -			   of
  -			 true -> [];
  -			 _ -> [{Exp1, Exp2}]
  -		       end;
  +	    integer -> 
  +		    case (T2 == integer orelse T2 == float) andalso
  +			refac_syntax:integer_value(Exp1) == refac_syntax:integer_value(Exp2)
  +		    of
  +			true -> [];
  +			_ ->
  +			    [{Exp1, Exp2}]
  +		    end;
   	    string -> case T2 == string andalso refac_syntax:string_value(Exp1) == refac_syntax:string_value(Exp2) of
   			true -> [];
   			_ -> [{Exp1, Exp2}]
  
positive.code:     end.
  
  
  file_info(DirFileList)->
       FileNames = refac_util:expand_files(DirFileList, ".erl"),
       refac_io:format("No of files:\n~p\n", [length(FileNames)]),
       lists:sum(lists:map(fun(F) ->
  		       Toks= refac_util:tokenize(F, false, 8),
  		       {L, _} = token_loc(lists:last(Toks)),
  		       L
  	       end, FileNames)).
      
  
negative.code: 		throw({error, anti_unification_failed})
  	  end;
        {false, false} ->  %% both are single expressions.
  	    T1 = refac_syntax:type(Exp1),
  	    T2 = refac_syntax:type(Exp2),
  	    case T1 of
  	    atom -> case T2 == atom andalso refac_syntax:atom_value(Exp1) == refac_syntax:atom_value(Exp2) of
  		      true ->
  			  case lists:keysearch(fun_def, 1, refac_syntax:get_ann(Exp1)) of
  