anchor.diff:       catch
   	 throw:Error -> 
   	     Error;    %% wrangler always throws Error in the format of '{error, string()}';
  -	 _E1:_E2->
  -     	     %%refac_io:format("E1E2:\n~p\n", [{E1, E2}]),
  +	 E1:E2->
  +     	     refac_io:format("E1E2:\n~p\n", [{E1, E2}]),
   	     {error, Msg}
        end.
   
  
positive.code: 	 eqc_statem_to_record_eclipse/3,eqc_statem_to_record_1_eclipse/7,
  	 eqc_fsm_to_record_eclipse/3,eqc_fsm_to_record_1_eclipse/7,
  	 gen_fsm_to_record_eclipse/3,gen_fsm_to_record_1_eclipse/7,
  	 partition_exports_eclipse/4
  	]).
  
  -export([try_refactoring/3, get_log_msg/0]).
  
negative.code:      try_refactoring(wrangler_modularity_inspection, partition_exports, 
  		     [File, DistThreshold, SearchPaths, TabWidth]).
     
  %%@private; Interface function for eclipse.
  %% DisTreshold is a parameter inputted by the user:
  %% "Please input a distance threshould between 0 and 1.0 (default value: 0.8):"
  -spec(partition_exports_eclipse/4::(File::filename(), DistTreshold::float(), 
  				    SearchPaths::[filename()|dir()], TabWidth::integer()) ->
  					 {error, string()}| {ok, [{filename(), filename(), string()}]}). 	  
  