anchor.diff:   			   end;
    		       {TypeSigPid, false} ->
    			   Node
  - 		   end
  - 	    end;		
  + 		   end;
  +		_ -> Node
  +	    end;		
          match_expr ->
    	  P = refac_syntax:match_expr_pattern(Node),
    	  B = refac_syntax:match_expr_body(Node),
  
positive.code: 
  %% sort functions according to calling relationship and remove functions which are not process related.
  sort_funs(DirList) ->
     {CallerCallee, Sccs, _E} = refac_register_pid:get_call_graph(DirList),
      TrimmedSccs = trim_scc(Sccs, CallerCallee, [], []),
      lists:append(TrimmedSccs).
  
  
negative.code:      case Env==Env1 of
   	true ->
   	    TypeSigPid!stop,
   	    Funs1;
   	_ ->
   	    fixpoint(Funs1, TypeSigPid)
       end.
  
  
  update_function(File, FunList) ->
      {ok, {AnnAST, Info}} = refac_util:parse_annotate_file(File, true, []),
      {value, {module, ModName}} = lists:keysearch(module, 1, Info),
      F = fun (Node, []) ->
  		case refac_syntax:type(Node) of
  