anchor.diff:  		end
   	end,
       refac_syntax_lib:map(F, Node).
  +
  +update_ann(Tree, {Key, Val}) ->
  +    As0 = refac_syntax:get_ann(Tree),
  +    As1 = case lists:keysearch(Key, 1, As0) of
  +	    {value, _} -> lists:keyreplace(Key, 1, As0, {Key, Val});
  +	    _ -> As0 ++ [{Key, Val}]
  +	  end,
  +    refac_syntax:set_ann(Tree, As1).
  
positive.code:     F = fun() ->
  		Toks1 = remove_whites(Toks0),
  		Toks2 = refac_epp:expand_macros(Toks1, Ms),
  		{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,
      {Tree2,Bound, Free} =try F() of
  			     VI -> vann_function_1(Tree1, Env, Ms, VI)
  
negative.code: 		end
  	end,
     lists:map(fun(T) ->map(F, T) end, Body).
  	   
  vann_clause(C, Env, Ms, VI) ->
      init_env_process(),
      {Ps, {Bound1, Free1}} =
  	vann_patterns(refac_syntax:clause_patterns(C), Env, Ms, VI),
      Env1 = ordsets:union(Env, Bound1),
  