anchor.diff:      MaxNewVars = Thresholds#threshold.max_new_vars,
       case Score1 >= SimiScoreThreshold  andalso
   	simi_score(Exprs2, SubExprs2) >= SimiScoreThreshold  andalso
  -	sets:size(exprs_to_be_generalised(Subst)) =< MaxNewVars of	
  +	sets:size(exprs_to_be_generalised(lists:append(Subst))) =< MaxNewVars of	%%% ERROR HERE SHOULD NOT BE SUBST.
         true ->
  -	  [ClonePair];
  +	    [ClonePair];
         false ->
   	    decompose_clone_pairs_by_simi_score_1(
   	      {Range1, Range2, Subst}, {Exprs1, Exprs2}, Thresholds)
  
positive.code:  %% 	  au       %% the anti-unification of the clone class.
   %% 	 }).
  
  -spec(inc_sim_code_detection_in_buffer/8::(FileName::filename(), MinLen::float(), MinToks::integer(),
  				 MinFreq::integer(),  MaxVars:: integer(),SimiScore::float(), 
  				 SearchPaths::[dir()], TabWidth::integer()) -> {ok, string()}).
  inc_sim_code_detection_in_buffer(FileName, MinLen1, MinToks1, MinFreq1, MaxVars1, SimiScore1, SearchPaths, TabWidth)->
      inc_sim_code_detection([FileName], MinLen1, MinToks1, MinFreq1, MaxVars1, SimiScore1, SearchPaths, TabWidth).
    
  -spec(inc_sim_code_detection/8::(DirFileList::[filename()|dir()], MinLen::float(), MinToks::integer(),
  				 MinFreq::integer(),  MaxVars:: integer(),SimiScore::float(), 
  				 SearchPaths::[dir()], TabWidth::integer()) -> {ok, string()}).
  
  inc_sim_code_detection(DirFileList,MinLen1,MinToks1,MinFreq1,MaxVars1,SimiScore1,SearchPaths,TabWidth) ->
      ?wrangler_io("\nCMD: ~p:inc_sim_code_detection(~p,~p,~p,~p,~p, ~p,~p,~p).\n",
  
negative.code: 		atom ->
  		    As = refac_syntax:get_ann(Operator),
  		    {value, {fun_def, {M, _F, _A, _, _}}} = lists:keysearch(fun_def,1,As),
  		    case M== erlang orelse M=='_' of 
  			true ->
  			    {Node, false};
  			false ->
  			    Mod = refac_syntax:atom(M),
  			    Operator1 = refac_misc:rewrite(Operator, refac_syntax:module_qualifier(Mod, Operator)),
  			    Node1 = refac_misc:rewrite(Node, refac_syntax:application(Operator1, Arguments)),
  			    {Node1, false}
  		    end;
  		_ -> 
  		    {Node, false}
  	    end;
  