anchor.diff:  		try do_match_patterns(SubPats1, SubPats2, LastClause) of
   		    Subst -> Subst
   		catch
  -		   throw:E -> E
  +		   throw:E -> 
  +			throw(E)
   		end
   	end,
       T1 = refac_syntax:type(DefP),
  
positive.code:     end.
  
  
  do_inline(Form, Pos, _Clause, App, SubstedBody) ->
      {S, E} = refac_util:get_range(Form),
      if (S =< Pos) and (Pos =< E) ->
  	   {NewForm, _} = refac_util:stop_tdTP(fun do_inline_1/2, Form, {App, SubstedBody}),
  	    case length(SubstedBody) > 1 of
  		true ->
  		    {NewForm1, _} = refac_util:stop_tdTP(fun remove_begin_end/2, NewForm, SubstedBody),
  		    NewForm1;
  		_ -> NewForm
  	    end;
         true ->
  	    Form
      end.
  
  do_inline_1(Node, {App, SubstedBody}) ->
  
negative.code: do_match_patterns(DefP, AppP, LastClause) when is_list(DefP) andalso is_list(AppP) ->
      case length(DefP)== length(AppP) of 
  	false ->
  	    throw(no_match);
  	true-> case DefP of 
  		   [] ->
  		       [];
  