anchor.diff:  %% Usage: highlight the expression, which should be a QuickCheck generator, then select the 
   %% refactoring command, you will be prompted for the pattern variable name.
   %%</p>
  -%% @spec new_let(FileName::filename(), Start::pos(), End::pos(), PatName::string(), 
  -%%                   SearchPaths::[dir()], TabWidth::integer())-> {error, string()} | {ok, string()}
  +
   -spec(new_let/6::(filename(), pos(), pos(), string(), [dir()], integer()) ->
   	      {error, string()} | {ok, string()}).
   new_let(FileName, Start, End, PatName, SearchPaths, TabWidth) -> 
  
positive.code: %% <p> Usage: Select the refactoring command, and Wrangler will check the current type of the state machine, 
  %% and prompt you to input the record and field names if Wrangler is able to proceed the refactoring.
  %% </p>
  %% @spec eqc_fsm_to_record(FileName::filename(),SearchPaths::[dir()], TabWidth::integer()) ->
  %%               {error, string()} |
  %%		 {'ok', non_tuple, [{atom(), atom(), integer()}]} |
  %%		 {'ok', {tuple, integer()}, [{atom(), atom(), integer()}]}
  -spec(eqc_fsm_to_record/3::(filename(),[dir()], integer()) -> 
  	         {error, string()}|
  		 {'ok', non_tuple, [{atom(), atom(), integer()}]} | 
  
negative.code: -module(wrangler).
  
  -export([rename_var/6, rename_fun/6, rename_mod/4,
  	 rename_process/6, generalise/6, gen_fun_1/11, gen_fun_clause/10,
  	 move_fun/6, move_fun_1/6,
  	 duplicated_code_in_buffer/5,
  	 duplicated_code_in_dirs/5,
  