anchor.diff:      end;
   more_apps_in_rels([], _Apps, Acc) ->
       Acc.
  -
   
   apps_init_is_included(S, Apps, RelApps, Status) ->
       lists:foldl(fun(App, AccStatus) ->
  
positive.code: 	    more_apps_in_rels(RelApps, Apps, Acc);
  	false ->
  	    case lists:keyfind(AppName, #app.name, Apps) of
  		#app{info = #app_info{applications = InfoApps}} ->
  		    Extra = [{RelName, N} || N <- InfoApps],
  		    Acc2 = more_apps_in_rels(Extra, Apps, [RA | Acc]),
  		    more_apps_in_rels(RelApps, Apps, Acc2);
  		false ->
  
negative.code: 
  apps_in_rel(#rel{name = RelName, rel_apps = RelApps}, Apps) ->
      Mandatory = [{RelName, kernel}, {RelName, stdlib}],
      Explicit0 = [{RelName, AppName} || #rel_app{name=AppName} <- RelApps],
      Explicit = Mandatory ++ Explicit0,
      Deps =
  	[{RelName, AppName} ||
  	    RA <- RelApps,
  	    AppName <-
  		case lists:keyfind(RA#rel_app.name,
  				   #app.name,
  				   Apps) of
  		    App=#app{info = #app_info{applications = AA}} ->
  			%% Included applications in rel shall overwrite included
  			%% applications in .app. I.e. included applications in
  			%% .app shall only be used if it is not defined in rel.
  			IA = case RA#rel_app.incl_apps of
  				 undefined ->
  				     (App#app.info)#app_info.incl_apps;
  				 RelIA ->
  				     RelIA
  			     end,
  			AA ++ IA;
  		    false ->
  			reltool_utils:throw_error(
  			  "Release ~tp uses non existing "
  			  "application ~w",
  			  [RelName,RA#rel_app.name])
  		end,
  	    not lists:keymember(AppName, 2, Explicit)],
      more_apps_in_rels(Deps, Apps, Explicit).
  
  more_apps_in_rels([{RelName, AppName} = RA | RelApps], Apps, Acc) ->
      case lists:member(RA, Acc) of
  