anchor.diff:  output_progress_msg(Num) ->
       case Num rem 10 of
   	1 -> 
  -	    case Num of
  -		1 ->
  -		    ?wrangler_io("\nChecking the first clone candidate...", []);
  -		_ ->
  -		    ?wrangler_io("\nChecking the ~pst clone candidate...", [Num])
  -	    end;
  +	    ?wrangler_io("\nChecking clone candidate no. ~p ... ", [Num]);
   	_-> ok
       end.
   	
  
positive.code: 	    to_dets(Tabs#tabs.file_hash_tab, ?FileHashTab),
  	    to_dets(Tabs#tabs.exp_hash_tab, ?ExpHashTab),	    
  	    to_dets(Tabs#tabs.clone_tab, ?CloneTab),
  	    ets:delete(Tabs#tabs.tmp_ast_tab)
      end,
      {ok, "Clone detection finish."}.
  
negative.code: 		SubAUBody = lists:sublist(AUBody, 1, length(AUBody) - 1),
  		Res=unification:expr_unification(SubAUBody, Exprs),
  		case Res of 
  		    false -> 
  			?wrangler_io("\n not same length\n",[]),
  			?wrangler_io(" Case1:\n",[]),
  			?wrangler_io("\nAUBody:\n",[]),
  			?wrangler_io("~s", [refac_prettypr:format(refac_syntax:block_expr(AUBody))]),
  			?wrangler_io("\nExprs:\n",[]),		   
  			?wrangler_io("~s", [refac_prettypr:format(refac_syntax:block_expr(Exprs))]),
  			Res;
  		    _ -> Res
  		end;
  