anchor.diff:      Cmd = "CMD: " ++ atom_to_list(?MODULE) ++ ":fold_expression(" ++ "\"" ++ 
   	    FileName ++ "\", " ++ integer_to_list(Line) ++ 
   	      ", " ++ integer_to_list(Col) ++ ", " ++ "[" ++ refac_util:format_search_paths(SearchPaths) ++ "],"
  -													       ++ integer_to_list(TabWidth) ++ ").",
  +	++ integer_to_list(TabWidth) ++ ").",
       {ok, {AnnAST, _Info}} = wrangler_ast_server:parse_annotate_file(FileName, true, SearchPaths, TabWidth),
       case pos_to_fun_clause(AnnAST, {Line, Col}) of
   	{ok, {Mod, FunName, _Arity, FunClauseDef, _ClauseIndex}} ->
  
positive.code: search_for_single_not_match_expr(AnnAST, Exp) ->
      OpRanges = collect_op_ranges(AnnAST),
      Fun = fun (T, S) ->
  		  As = refac_syntax:get_ann(T),
  		  case lists:keysearch(category, 1, As) of
  		      {value, {category, expression}} ->
  			  case T =/= Exp of
  			      true ->
  				  R = get_start_end_locations(T),
  
negative.code: 					  case unification:expr_unification(Exp, T) of
  					      {true, Subst} ->
  						  S ++ [{get_start_end_locations(T), T, Subst, none}];
  					      _ ->
  						  S
  					  end;
  				      _ -> S
  				  end;
  			      _ -> S
  			  end;
  		      false -> S
  		  end
  	  end,
      ast_traverse_api:fold(Fun, [], AnnAST).
  