anchor.diff:      %% case lfe_env:is_vbound(Symb, Env) of
       case le_hasv(Symb, Env) of
           true -> St;
  -        false -> add_error(L, {unbound_symb,Symb}, St)
  +        false -> add_error(L, {unbound_symbol,Symb}, St)
       end.
   
   %% check_func(Func, Arity, Env, Line, State) -> State.
  
positive.code:     %% case is_element(S, Bvs) or lfe_env:is_vbound(S, Env) of
      case ordsets:is_element(S, Bvs) or le_hasv(S, Env) of
          true -> St;
          false -> add_error(L, {unbound_symb,S}, St)
      end;
  pat_bit_size(_, _, _, _, _, L, St) -> illegal_bitsize_error(L, St).
  
  
negative.code:                   fun (S) -> bad_module_error(L, 'module-alias', S) end,
                    St, Aliases).
  
  check_alias([Mod,Alias], L, #lfe_lint{aliases=As0}=St0) when is_atom(Mod),
                                                               is_atom(Alias) ->
      %% Test if we redefine alias or get circular aliases.
      St1 = case orddict:is_key(Alias, As0) of
                true -> add_error(L, {redefine_module_alias,Alias}, St0);
                false -> St0
            end,
      St2 = case orddict:is_key(Mod, As0) of
                true -> add_error(L, {circular_module_alias,Alias}, St1);
                false -> St1
            end,
      As1 = orddict:store(Alias, Mod, As0),       %Add the alias
      St2#lfe_lint{aliases=As1};
  check_alias(_, L, St) ->
      bad_module_error(L, 'module-alias', St).
  
  %% check_export_types(Types, Line, State) -> State.
  
  