anchor.diff:      end.
   
   get_vars_to_rename(Clause, Pos, VarName, NewNames, ClauseToInline) ->
  -    Res =[refac_rename_var:cond_check(Clause, Pos, VarName, Name)||{Name,_}<-NewNames],
       [{Name, DefinePos}||{Name, P}<-NewNames, 
   			refac_rename_var:cond_check(Clause, Pos, VarName, Name)=/={false, false, false},
   			{ok, {_,DefinePos, _}} <-[refac_util:pos_to_var_name(ClauseToInline, P)]].
  
positive.code: %% OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF 
  %% ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  %% ============================================================================================
  %% Refactoring: Unfold a function application.
  %% This refactoring replaces a function application with the function definition whose formal 
  %% parameters being replaced by actual parameters. Some remarks about the implementation:
  %% 1) This refactoring does automatic variable renaming of variables decared in the function 
  %% to be inlined if there would be a name capture/conflict without doing so;
  %% 2) In the case that the function definition has multiple clause, Wrangler tries to work out 
  
negative.code: -include("../include/wrangler.hrl").
  
  %% =============================================================================================
  %% <p>
  %% Usage: Point the cursor to the function name in the function application to unfold, then 
  %% select <em>Unfold Function Application</em> from <em>Refactor</em>.
  %% </p>
  %%-spec(unfold_fun_app/4::(FileName::filename(), Pos::pos(), SearchPaths::[dir()], TabWidth::integer)
  %%      ->{error, string()} |{'ok', [string()]}).
  -spec(unfold_fun_app/4::(FileName::filename(), Pos::pos(), SearchPaths::[dir()], TabWidth::integer)
        ->{'ok', [string()]} | {error, string()}).
  unfold_fun_app(FileName, Pos, SearchPaths, TabWidth) ->
  