anchor.diff:  check_types_list([], _) ->
       true;
   check_types_list([{_, Type}|Tail], Types) ->
  -    case check_type(Type, Types) of
  -	true ->
  -	    check_types_list(Tail, Types);
  -	false ->
  -	    false
  -    end.
  +    check_type(Type, Types) andalso check_types_list(Tail, Types).
       
   check_types_types(Types) ->
       Names = dict:fetch_keys(Types),
  
positive.code: check_types_functions([], _, NFunc, _) ->
      NFunc;
  check_types_functions([Func|Tail],OldFunc,NewFunc,Types) ->
      {RetType, ArgList}  = dict:fetch(Func, OldFunc),
      case check_type(RetType, Types) andalso check_types_list(ArgList, Types) of
  	true ->
  	    check_types_functions(Tail, 
  
negative.code: 			    check_type(T, Types)
  		    end;
  		{userdef, [H|_]} ->
  		    string:right(H, 1) =/= ")";  %% function pointer
  		{struct, _} ->
  		    true;
  		{base, _} ->
  