anchor.diff:  	    %% May be an imported entity in module Emod or Emod may not exist
   	    case asn1_db:dbget(Emod,'MODULE') of
   		undefined ->
  -		    throw({error,{asn1,{module_not_found,Emod}}});
  +		    asn1_error(S, {undefined_import, Ename, Emod});
   		_ ->
   		    NewS = update_state(S,Emod),
   		    get_imported(NewS,Ename,Emod,Pos)
  
positive.code: 	    parse_and_save(S,Imodule),
  	    case asn1_db:dbget(Imodule,'MODULE') of
  		undefined ->
  		    throw({error,{asn1,{module_not_found,Imodule}}});
  		Im when is_record(Im,module) ->
  		    case is_exported(Im,Name) of
  			false ->
  			    throw({error,
  				   {asn1,{not_exported,{Im,Name}}}});
  			_ ->
  			    ?dbg("get_imported, is_exported ~p, ~p~n",[Imodule,Name]),
  			    get_referenced_type(S,
  
negative.code: 	{_,[H|_T]} ->
  	    case lists:member(H,Cnames) of
  		true -> [AtPathBelowTop];
  		_ -> asn1_error(S, {invalid_at_path, AtPath})
  	    end
      end;
  evaluate_atpath(_,_,_,_) ->
  