anchor.diff:      Fvs = make_vars(Free),
       Arity = length(Vs) + length(Free),
       {Fname,St} =
  -	case lists:keyfind(id, 1, A) of 
  +        case keyfind(id, 1, A) of 
   	    {id,{_,_,Fname0}} ->
   		{Fname0,St1};
   	    false ->
  
positive.code: 	     undefined ->
  		 Func;
  	     _ ->
  		 case lists:keyfind(id, 1, A) of
  		     {id,{_,_,Name}} -> Name;
  		     _ ->
  			 case lists:keyfind(letrec_name, 1, A) of
  			     {letrec_name,Name} -> Name;
  			     _ -> unknown_fun
  			 end
  
negative.code: 		    {set_kanno(S, []),U,T,Fs}
  	    end;
  	#k_map{op=exact,es=Es} ->
              sort(fun(A,B) ->
  			%% on the form K :: {'lit' | 'var', term()}
  			%% lit < var as intended
  			erts_internal:cmp_term(A,B) < 0
  