anchor.diff:  %% If the user answers 'yes' to one instance,  that instance will be replaced by function application,
   %% otherwise it will remain unchanged.
   %% </p>
  -%%@spec fold_expr({{FileName::filename(), Line::integer(), Col::integer(), SearchPaths::[dir()], TabWidth:: integer()}
  -%%                  |{FileName::filename(), ModName::modulename(), Arity::integer(), ClauseIndex::integer(), SearchPaths::[dir()], TabWidth:: integer()}}) ->
  +%%@spec fold_expr({FileName::filename(), Line::integer(), Col::integer(), SearchPaths::[dir()], TabWidth:: integer()}
  +%%                  |{FileName::filename(), ModName::modulename(), Arity::integer(), ClauseIndex::integer(), SearchPaths::[dir()], TabWidth:: integer()}) ->
   %%           {ok, [{{{integer(), integer()}, {integer(), integer()}}, syntaxTree()}]} | {error, string()}
   
   %% This function is just for documentation purpose; and should not be called by any other functions.
  
positive.code: %% <em> Rename Module Name </em> from the <em> Refactor </em> menu, after that, the refactorer will prompt to enter 
  %% the new module name in the mini-buffer.
  %% </p>
  %%@spec rename_mod/4::(filename(), string(), [dir()], integer()) -> 
  %%	     {error, string()} | {question, string()} | {warning, string()} |{ok, [filename()]}
  -spec(rename_mod/4::(filename(), string(), [dir()], integer()) -> 
  	     {error, string()} | {question, string()} | {warning, string()} |{ok, [filename()]}).
  
negative.code: %% Usage: highlight the expression/expression sequence of interest, then selected the <em>Function Extraction</em> 
  %% from  <em>Refactor</em>, Wrangler will then prompt for the new function name.
  %% </p>
  %% @spec fun_extraction(FileName::filename(), Start::pos(), End::pos(), FunName::string(), TabWidth:: integer()) ->{error, string()} | {ok, string()}
  -spec(fun_extraction/5::(filename(), pos(), pos(), string(), integer()) ->
  	      {error, string()} | {ok, string()}).
  fun_extraction(FileName, Start, End, FunName, TabWidth) -> 
  