anchor.diff:      try_refactoring(refac_new_let, merge_let_1, [FileName, Candidates, SearchPaths, TabWidth, Cmd]).
   
   
  +%%@private
  +-spec(merge_let_eclipse/3::(FileName::filename(), SearchPaths::[dir()], TabWidth::integer()) ->
  +			{error, string()}| {not_found, string()} |{ok, [{{{integer(), integer()}, {integer(), integer()}}, syntaxTree()}]}).
  +merge_let_eclipse(FileName, SearchPaths, TabWidth) ->
  +    try_refactoring(refac_new_let, merge_let_eclipse, [FileName, SearchPaths, TabWidth]).
  +
  +%%@private
  +-spec(merge_let_1_eclipse/4::(FileName::filename(), Candidates::[{{{integer(), integer()}, {integer(), integer()}}, syntaxTree()}],
  +				 SearchPaths::[dir()], TabWidth::integer()) -> 
  +		{error, string()}|{'ok', [{filename(), filename(),string()}]}).
  +merge_let_1_eclipse(FileName, Candidates, SearchPaths, TabWidth) ->
  +    try_refactoring(refac_new_let, merge_let_1_eclipse, [FileName, Candidates, SearchPaths, TabWidth]).
  +
  +
   %% =============================================================================================
   %% @doc Merge nested but undependent ?FORALLs into one ?FORALL.
   %% <p> This refactoring combines multiple nested, but undependent, ?FORALLs into one; the latter representation has 
  
positive.code: 		      SearchPaths::[dir()], TabWidth::integer(), Cmd::string()) -> {ok, [filename()]}).
  merge_forall_1(FileName, Candidates, SearchPaths, TabWidth, Cmd) ->
      try_refactoring(refac_new_let, merge_forall_1, [FileName, Candidates, SearchPaths, TabWidth, Cmd]).
  
  
  %% =============================================================================================
  
negative.code: 	 simi_expr_search_in_dirs_eclipse/6,
  	 normalise_record_expr_eclipse/5,
  	 eqc_statem_to_fsm_eclipse/4, 
  	 new_let_eclipse/6, new_let_1_eclipse/6,
  	 merge_forall_eclipse/3, merge_forall_1_eclipse/4, 
           merge_let_eclipse/3, merge_let_1_eclipse/4]).
  
  -export([try_refactoring/3, try_inspector/3]).
  -include("../include/wrangler.hrl").
  