anchor.diff:  
   innertype_comprel1(S,T = #type{def=Def,constraint=Cons,tablecinf=TCI},Path) ->
       Ret =
  -%	case Cons of
  -%	    [{componentrelation,{_,_,ObjectSet},AtList}|_Rest] ->
  -	case constraint_member(componentrelation,Cons) of
  -	    {true,{_,{_,_,ObjectSet},AtList}} ->
  +	case lists:keyfind(componentrelation, 1, Cons) of
  +	    {_,{_,_,ObjectSet},AtList} ->
   		%% This AtList must have an "outermost" at sign to be
   		%% relevent here.
   		[{_,AL=[#'Externalvaluereference'{value=_Attr}|_R1]}|_R2] 
  
positive.code: 
  %% returns the leading attribute, the constraint of the components and
  %% the tablecinf value for the second component.
  instance_of_constraints(_,[]) ->
      {false,[],[],[]};
  instance_of_constraints(S, [{simpletable,Type}]) ->
      #type{def=#'Externaltypereference'{type=Name}} = Type,
      ModuleName = S#state.mname,
      ObjectSetRef=#'Externaltypereference'{module=ModuleName,
  
negative.code: 		    lists:map(fun(#'Externalvaluereference'{value=V})->V end,
  			      AL),
  		{[{ObjectSet,AtPath,ClassDef,Path}],Def};
  	    false ->
  		%% check the inner type of component
  		innertype_comprel(S,Def,Path)
  	end,
  