anchor.diff:  					     end;
   				 underscore ->{true, []};
   				 _ -> case variable_replaceable(Expr1) andalso variable_replaceable(Expr2) of 
  -					  true -> {true, [Expr1]};
  +					  true -> {true, [{Expr1, Expr2}]};
   					  _ ->
   					      false
   				      end
  
positive.code: 	[] -> throw({error, "You have not selected an expression!"});
  	_ -> ok
      end,
      ?wrangler_io("The selected expression is:\n\n~s\n\n", [format_exprs(Exprs)]),
      RecordInfo =get_module_record_info(FName, SearchPaths, TabWidth),
      Exprs1 = case length(Exprs) of 1 -> hd(Exprs); _ -> Exprs end,
      ?wrangler_io("The selected expression after normalisation is:\n\n~s\n\n", [format_exprs(Exprs1)]),
      Res =do_search_similar_expr(AnnAST, RecordInfo, Exprs1),
       Res1 = lists:map(fun({{{S,E},{S1,E1}}, _, _})-> {S, E, S1, E1} end, Res),
       AntiUnifier = generalise_expr(Exprs1, Res),
      case length(Res1) of  
  	0 -> ?wrangler_io("No similar expression has been found.\n",[]);
  	1 -> ?wrangler_io("One expression which is similar to the expression selected has been found. \n",[]),
  	     ?wrangler_io("The generalised expression would be:\n\n~s\n\n", [format_exprs(AntiUnifier)]),
  	     {ok, Res1};
  	N -> ?wrangler_io("~p expressions which are similar to the expression selected have been found. \n", [N]),
  	     ?wrangler_io("The generalised expression would be:\n\n~s\n\n", [format_exprs(AntiUnifier)]),
  	     {ok, Res1}
      end.
  
  do_search_similar_expr(AnnAST, RecordInfo, Exprs) when is_list(Exprs) ->
  
negative.code: 		    case Res of  
  			false -> case variable_replaceable(Expr1) andalso variable_replaceable(Expr2) of 
  				     true ->
  					 {true, [{Expr1, Expr2}]};
  				     _ ->
  					 false
  				 end;
  