anchor.diff:  	    Args = refac_syntax:application_arguments(Node),
   	    Arity = length(Args),
   	    Op1 = case refac_syntax:type(Op) of
  -		  variable ->
  +		      variable ->
   			  add_type_info({f_atom, ['_', try_eval(FileName, Op, SearchPaths, TabWidth,
   								   fun is_atom/1), Arity]}, Op, Pid);
  -		  _ -> Op
  -		end,
  -	  Args = refac_syntax:application_arguments(Node),
  -	  case lists:keysearch(fun_def, 1, refac_syntax:get_ann(Op1))
  -	  of
  -	    {value, {fun_def, {M, F, A, _, _}}}
  -		when M =/= '_' andalso F =/= '_' ->
  -		Args1 = do_type_ann_args({M, F, A}, map_args(Pats, Args), Args, Pid),
  -		{refac_misc:rewrite(Node, refac_syntax:application(Op1, Args1)), true};
  -	    _ ->
  -		{Node, false}
  -	  end;
  +		      _ -> Op
  +		  end,
  +	    case lists:keysearch(fun_def, 1, refac_syntax:get_ann(Op1))
  +	    of
  +		{value, {fun_def, {M, F, A, _, _}}}
  +		  when M =/= '_' andalso F =/= '_' ->
  +		    Args1 = do_type_ann_args({M, F, A}, map_args(Pats, Args), Args, Pid),
  +		    {refac_misc:rewrite(Node, refac_syntax:application(Op1, Args1)), true};
  +		_ ->
  +		    {Node, false}
  +	    end;
         module_qualifier ->
   	  Ann = refac_syntax:get_ann(Node),
   	  {value, {fun_def, {_, _, Arity, _, _}}} = lists:keysearch(fun_def, 1, Ann),
  
positive.code: 			_ when is_function(ParType) ->
  			      add_type_info(ParType(MappedArgs), Arg, Pid);
  			{f_atom, [M, F, Arity]} ->
  			    ?debug("T:\n~p\n", [ParType]),
  			    M1 = case is_function(M) of
  				   true -> M(MappedArgs);
  				   _ -> M
  				 end,
  
negative.code: type(erlang, spawn_monitor, 3) -> 
      mfa_type();
  type(erlang, spawn_opt, 4) ->
      {[m_atom, f_atom_type(), any, any], any};
  type(erlang, spawn_opt, 5) ->
      {[any, m_atom, f_atom_type(), any, any], any};
  type(erlang, whereis, 1) ->
  