anchor.diff:  				  [],
   				  [{{'$1','$2'}}]}]).
   
  -propagate_is_included(S) ->
  +mod_propagate_is_included(S) ->
       case lists:flatmap(
   	   fun({ModName,UsesModNames}) ->
   		   mod_mark_is_included(S,ModName,UsesModNames,[])
  
positive.code:         _     -> Bool
      end.
  
  %% Return the list for {ModName, UsesModNames} for all modules where
  %% #mod.is_included==true.
  get_all_mods_and_dependencies(S) ->
  
negative.code:     %% Write all #app to app_tab and all #mod to mod_tab.
      Status2 = apps_init_is_included(S, Apps, RelApps, Status),
  
      %% For each application that is not (directly or indirectly) part
      %% of a release, but still has #app.is_included==true, propagate
      %% is_included to the dependencies specified in the .app files.
      app_propagate_is_included(S),
  
      %% For each module that has #mod.is_included==true, propagate
      %% is_included to the modules it uses.
      mod_propagate_is_included(S),
  
      %% Insert reverse dependencies - i.e. for each
      %% #mod{name=Mod, uses_mods=[UsedMod]},
  