anchor.diff:  
   
   -spec(gen_fun_clause_eclipse/10::(FileName::filename(), ParName::atom(), FunName::atom(), Arity::integer(), DefPos::pos(), 
  -				 Exp::syntaxTree(), TabWidth::integer(), SideEffect::bool(),  Dups::[{pos(), pos()}], LogCmd::string()) ->
  +				 Exp::syntaxTree(), TabWidth::integer(), SideEffect::boolean(),  Dups::[{pos(), pos()}], LogCmd::string()) ->
   					{ok, [{filename(), filename(), string()}]}).
   gen_fun_clause_eclipse(FileName, ParName, FunName, Arity, DefPos, Exp, TabWidth, SideEffect, Dups, LogCmd) ->
       gen_fun_clause_1(FileName, ParName, FunName, Arity, DefPos, Exp, [], TabWidth, SideEffect, Dups, eclipse, LogCmd).
   
   -spec(gen_fun_clause/10::(FileName::filename(), ParName::atom(), FunName::atom(), Arity::integer(), DefPos::pos(), 
  -			 Exp::syntaxTree(), TabWidth::integer(), SideEffect::bool(), 
  +			 Exp::syntaxTree(), TabWidth::integer(), SideEffect::boolean(), 
   			 Dups::[{{integer(), integer()},{integer(), integer()}}], LogCmd::string()) ->{ok, [filename()]}).
   
   gen_fun_clause(FileName, ParName, FunName, Arity, DefPos, Exp, TabWidth, SideEffect, Dups, LogCmd) ->
  
positive.code: %% I don't know where goes wrong.
  -spec generalise_eclipse(FileName::filename(), Start::pos(), End::pos(), ParName::string(),
  	                         SearchPaths::[dir()], TabWidth::integer()) ->
      {ok, [filename()]} |
  	| {ok, [{filename(), filename(), string()}]} |
  	{multiple_instances,  {ParName:: atom(), FunName::atom(), Arity::integer(),
  			       FunDefPos::pos(), Exp::syntaxTree(), SideEffect::boolean(),
  			       DupsInFun::[{pos(), pos()}], Cmd::string()}} |
  
negative.code: 
  search_duplications(Tree, Exp) ->
      F = fun(Node, Acc)-> 
  		As = refac_syntax:get_ann(Node),
  		case lists:keysearch(category, 1, As) of 
  		    {value, {category, expression}} ->
  			case  refac_syntax:is_literal(Node)andalso
  			    Node =/= Exp of
  			    true ->
  				case refac_syntax:concrete(Node) ==
  				    refac_syntax:concrete(Exp) of
  				    true -> [Node|Acc];
  				    _ -> Acc
  				end;
  			    false -> Acc
  			end;
  		    _ -> Acc
  		end
  	end,
      case refac_syntax:is_literal(Exp) of
  