anchor.diff:  
   %% 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}]) ->
  +instance_of_constraints(S, Constr) ->
  +    case lists:keyfind(simpletable, 1, Constr) of
  +	false ->
  +	    {false,[],[],[]};
  +	{simpletable,Type} ->
  +	    instance_of_constraints_1(S, Type)
  +    end.
  +
  +instance_of_constraints_1(S, Type) ->
       #type{def=#'Externaltypereference'{type=Name}} = Type,
       ModuleName = S#state.mname,
       ObjectSetRef=#'Externaltypereference'{module=ModuleName,
  
positive.code: %% is found to check the validity of the at-list.
  any_component_relation(S,[#'ComponentType'{name=CName,typespec=Type}|Cs],CNames,NamePath,Acc) ->
      CRelPath =
  	case constraint_member(componentrelation,Type#type.constraint) of
  %%	    [{componentrelation,_,AtNotation}] ->
  	    {true,{_,_,AtNotation}} ->
  		%% Found component relation constraint, now check
  		%% whether this constraint is relevant for the level
  		%% where the search started
  
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,
  