anchor.diff:  pos_to_fun_app_1(Node, Pos) ->
       case refac_syntax:type(Node) of
   	application ->
  -	    {S, E} = refac_util:get_range(Node),
  +	    Op = refac_syntax:application_operator(Node),
  +	    {S, E} = refac_util:get_range(Op),
   	    if (S =< Pos) and (Pos =< E) ->
   		    {Node, true};
   	       true -> {[], false}
  
positive.code: 	_-> {Node, false}
      end.
  
  
  do_check_static_semantics(Node, {VarName, BdsInFunToInline}) ->
      Bds = lists:usort([Name || {Name, _Loc} <-refac_util:get_bound_vars(Node)]),
      Envs = lists:usort([Name || {Name, _Loc} <-refac_util:get_env_vars(Node)]),
      case lists:member(VarName, Bds) of 
  	true ->
  	    case (BdsInFunToInline -- Envs)==BdsInFunToInline of
  		true ->
  		    case lists:member(VarName, Envs) of
  			true ->
  			    case (BdsInFunToInline -- Bds)== BdsInFunToInline of 
  				true ->{[], false};
  				_ -> {Node, true}
  			    end;
  			false ->
  			    {[], false}
  		    end;
  		false -> {Node, true}
  	    end;
  	_ -> 
  	    case lists:member(VarName, Envs) of
  		true ->
  		    case (BdsInFunToInline -- Bds)==BdsInFunToInline of 
  			true ->{[], false};
  			_ -> {Node, true}
  		    end;
  		false ->
  		    {[], false}
  	    end 
      end.
  			     
  
  %%-spec(get_bound_vars(Node::[syntaxTree()]|syntaxTree())-> [{atom(),pos()}]).
  get_bound_vars(Nodes) when is_list(Nodes)->
      lists:flatmap(fun(Node) ->get_bound_vars(Node) end, Nodes);			   
  
negative.code: 	_ -> {Node, false}
      end.
      
  remove_begin_end(Node, BlockBody) ->
      Fun = fun(E) ->
  		  case refac_syntax:type(E) of
  