anchor.diff:  							    _ -> false
   							end
   					      end, Res),
  -		        Substs = lists:usort(lists:concat(lists:map(fun(E) -> case E of 
  +		        Substs = lists:usort(lists:flatmap(fun(E) -> case E of 
   								      {true,S} -> S;
   								      _ -> []
   								  end
  -							end,Res))),
  +							end,Res)),
   			case Unifiable of 
   			    true -> {true, Substs};
   			    _ -> false
  
positive.code: %%                        (EndLine::integer(), EndCol::integer(), NewExp::term(),
  %%                        {FunClauseDef, ClauseIndex}::{term(), integer()) -> term()
  %% =============================================================================================  
  fold_expression_1(FileName, StartLine, StartCol, EndLine, EndCol, NewExp, {FunClauseDef, ClauseIndex}) ->
      fold_expression_1(FileName, StartLine, StartCol, EndLine, EndCol, NewExp, {FunClauseDef, ClauseIndex}, emacs).
  
  fold_expression_1_eclipse(FileName, FunClauseDef, RangeNewExpList) ->   %% RangeNewExpList [{{{StartLine, EndCol}, {EndLine, EndCol}}, NewExp}]
      {ok, {AnnAST, _Info}} = refac_util:parse_annotate_file(FileName, true, []),
      Body = refac_syntax:clause_body(FunClauseDef),
  
negative.code: 		   _  -> S
  	       end
  	end,
      AllVars = lists:usort(lists:flatmap(fun(E)->refac_syntax_lib:fold(F1, [], E) end,  WholeExpList)),
      SubExpListBdVars = lists:flatmap(fun(E) -> As = refac_syntax:get_ann(E),
  							    case lists:keysearch(bound,1, As) of
  								{value, {bound, BdVars1}} -> BdVars1;
  								_ -> []
  							    end
  						  end, SubExpList),
      SubExpListBdVarPoses = lists:map(fun({_Var, Pos}) -> Pos end, SubExpListBdVars),
      SubExpListEndPos = element(2, refac_util:get_range(lists:last(SubExpList))),
      VarsToExport = lists:usort([V || {V, SourcePos, DefPos} <- AllVars,
  