anchor.diff:  
   %% =====================================================================
   %% @spec stop_tdTP(Function, Tree::syntaxTree(), Others::[term()])->  syntaxTree()
  -%%       Function = (syntaxTree(),{term()}) -> {syntaxTree(), boolean()}
  +%%       Function = (syntaxTree(),{term()}) -> {syntaxTree(), bool()}
   %%
   %% @doc Stop-topdown type-preserving traversal of the abstract syntax tree.
   %% This function does a pre-order traversal of the abstract syntax tree, and
  
positive.code:    
  
  
  -spec(parse_annotate_file_1(FName::filename(), ByPassPreP::boolean(), SearchPaths::[dir()], integer(), atom())
        -> {ok, {syntaxTree(), moduleInfo()}}).
  parse_annotate_file_1(FName, true, SearchPaths, TabWidth, FileFormat) ->
      case refac_epp_dodger:parse_file(FName, [{tab, TabWidth}, {format, FileFormat}]) of
  
negative.code:     end.
  
  %% =====================================================================
  %% @spec is_var_name(Name:: string())-> bool()
  %% @doc Return true if a string is lexically a  variable name.
  
  -spec(is_var_name(Name:: string())-> bool()).
  
  is_var_name(Name) ->
      case Name of
  	[] -> false;
  	[H] -> H=/=95;
  	[H | T] -> (is_upper(H) or (H == 95)) and is_var_name_tail(T)
      end.
  
  is_var_name_tail(Name) ->
  