anchor.diff:  
   %% =====================================================================
   vann(Tree, Env, Ms, VI) ->
  -    case refac_syntax:type(Tree) of
  +     case refac_syntax:type(Tree) of
         variable ->
   	    V = refac_syntax:variable_name(Tree),
   	    P = refac_syntax:get_pos(Tree),
  
positive.code: delete_binding_anns([A | As]) ->
      [A | delete_binding_anns(As)];
  delete_binding_anns([]) -> [].
  
  %% =====================================================================
  %% @spec is_fail_expr(Tree::syntaxTree()) -> bool()
  
negative.code:     F = fun() ->
  		Toks1 = remove_whites(Toks0),
  		Toks2 = refac_epp:expand_macros(Toks1, Ms),
  		case Toks1 of 
  		    Toks2 -> [];
  		    _ -> 
  			{ok, Form} = refac_parse:parse_form(Toks2),
  			[Form1] = refac_syntax:form_list_elements(
  				    refac_recomment:recomment_forms([Form], [])),
  			{Form2, _, _} = vann_function_1(Form1, Env, Ms, []),
  			get_var_info(Form2)
  		end
  	end,
      {Tree2,Bound, Free} =try F() of
  			     VI -> vann_function_1(Tree1, Env, Ms, VI)
  