anchor.diff:  			    [{{FileName, {S2, E2}}, EVs, SubSt}]++
   				do_search_similar_expr_1(FileName, Exprs1, tl(Exprs2), RecordInfo, SimiScore, FunNode)
   		    end
  +	    end;
  +	_ ->[]
  +    end;
  +do_search_similar_expr_1(FileName, Expr1, Expr2, RecordInfo, SimiScore, FunNode) ->
  +    {S1, E1} = refac_misc:get_start_end_loc(Expr1),
  +    {S2, E2} = refac_misc:get_start_end_loc(Expr2),
  +    case overlapped_locs({S1, E1}, {S2, E2}) of
  +	true -> [];
  +	_ ->
  +	    NormalisedExpr21 =normalise_expr(Expr2, RecordInfo),
  +	    ExportedVars = vars_to_export(FunNode, E2, Expr2),
  +	    Res =anti_unification:anti_unification_with_score(Expr1, NormalisedExpr21, SimiScore),
  +	    case Res of 
  +		none ->
  +		    [];
  +		SubSt ->
  +		    EVs = [SE1 || {SE1, SE2} <- SubSt, refac_syntax:type(SE2) == variable,
  +				  lists:member({refac_syntax:variable_name(SE2), get_var_define_pos(SE2)}, ExportedVars)],
  +		    [{{FileName, {S2, E2}}, EVs, SubSt}]
   	    end
       end.
  +
       
   get_var_define_pos(V) ->
       {value, {def, DefinePos}} = lists:keysearch(def,1, refac_syntax:get_ann(V)),
  
positive.code: 	_E1:_E2 ->
  	    []
      end.
  
  do_search_similar_expr(FileName, AnnAST, RecordInfo, Exprs, SimiScore) when is_list(Exprs) ->
      F0 = fun (FunNode, Acc) ->
  		 F = fun (T, Acc1) ->
  			     Exprs1 = get_expr_seqs(T),
  			     do_search_similar_expr_1(FileName, Exprs, Exprs1, RecordInfo, SimiScore, FunNode) ++ Acc1
  		     end,
  		 refac_syntax_lib:fold(F, Acc, FunNode)
  	 end,
      do_search_similar_expr_1(AnnAST, F0).
  
  
  do_search_similar_expr_1(AnnAST, Fun) ->
  
negative.code: -spec(sim_expr_search_in_buffer/6::(filename(), pos(), pos(), string(),[dir()],integer())
        -> {ok, [{integer(), integer(), integer(), integer()}]}).    
  sim_expr_search_in_buffer(FName, Start = {Line, Col}, End = {Line1, Col1}, SimiScore0, SearchPaths, TabWidth) ->
      ?wrangler_io("\nCMD: ~p:sim_expr_search_in_buffer(~p, {~p,~p},{~p,~p},~p, ~p, ~p).\n",
  		 [?MODULE, FName, Line, Col, Line1, Col1, SimiScore0, SearchPaths, TabWidth]),
      SimiScore = get_simi_score(SimiScore0),
      {FunDef, Exprs, SE} = get_fundef_and_expr(FName, Start, End, SearchPaths, TabWidth),
      {Ranges, AntiUnifier} = search_and_gen_anti_unifier([FName], {FName, FunDef, Exprs, SE}, SimiScore, SearchPaths, TabWidth),
      refac_code_search_utils:display_search_results(Ranges, AntiUnifier, "similar").
  
  
  