anchor.diff:  		TempNewDef#newt{tag=merge_tags(Tag,CheckedT#type.tag),
   				type=CheckedT#type.def};
   	    'ASN1_OPEN_TYPE' ->
  -		TempNewDef;
  -	    Other ->
  -		exit({'cant check' ,Other})
  +		TempNewDef
   	end,
       #newt{type=TDef,tag=NewTags,constraint=NewConstr,inlined=Inlined} = NewDef,
       Ts#type{def=TDef,
  
positive.code: 	    S;
  	_ ->
  	    parse_and_save(S,ModuleName),
  	    case asn1_db:dbget(ModuleName,'MODULE') of
  		RefedMod when is_record(RefedMod,module) ->
  		    S#state{mname=ModuleName,module=RefedMod};
  		_ -> throw({error,{asn1,{module_does_not_exist,ModuleName}}})
  	    end
      end.
  
  
  get_renamed_reference(S,Name,Module) ->
      case renamed_reference(S,Name,Module) of
  
negative.code: 	    objectset_or_fixedtypevalueset_field ->
  		{_,Name,Type,OSpec} = F,
  		RefType =
  		    try check_type(S,#typedef{typespec=Type},Type) of
  			#type{} = CheckedType ->
  			    CheckedType
  		    catch {asn1_class,_ClassDef} ->
  			    case if_current_checked_type(S,Type) of
  				true -> Type#type.def;
  				_ ->    check_class(S,Type)
  			    end
  		    end,
  		if
  		    is_record(RefType,'Externaltypereference') ->
  