anchor.diff:      end.
   
   get_gbinding(N, A, #env{funs=Fs}) ->
  -    case orddict:find(N, Fs) of
  +    case ?FIND(N, Fs) of
           {ok,{function,Fas}} ->
               case lists:keyfind(A, 1, Fas) of
                   false -> get_guard_bif(N, A);
  
positive.code:     end.
  
  is_gbound(N, A, #env{funs=Fs}) ->
      case orddict:find(N, Fs) of
          {ok,{function,Fas}} ->
              case lists:keyfind(A, 1, Fas) of
                  false -> is_guard_bif(N, A);
  
negative.code: %% get_vars(Env) -> Vars.
  %% clr_vars(Env) -> Env.
  %% set_vars(Vars, Env) -> Env.
  %% fold_vars(Fun, Acc, Env) -> Acc.
  %% get_funs(Env) -> Funs.
  %% clr_funs(Env) -> Env.
  %% set_funs(Funs, Env) -> Env.
  %% fold_funs(Fun, Acc, Env) -> Acc.
  %% fold_macros(Fun, Acc, Env) -> Acc.
  %% add_vbinding(Name, Val, Env) -> Env.
  %% add_vbindings([{Name,Val}], Env) -> Env.
  %% is_vbound(Symb, Env) -> bool().
  