anchor.diff:  do_check_module_subset([_]) ->
       ok;
   do_check_module_subset([{_V1, Mods1}|T]) ->
  +    %% io:format("do_check_module_subset -> "
  +    %% 	      "~n   V1:    ~p"
  +    %% 	      "~n   Mods1: ~p"
  +    %% 	      "~n   T:     ~p"
  +    %% 	      "~n", [_V1, Mods1, T]),
       {V2, Mods2} = hd(T),
       %% Check that the modules in V1 is a subset of V2
       case do_check_module_subset2(Mods1, Mods2) of
  
positive.code: modules_of([], Acc) ->
      lists:reverse(Acc);
  modules_of([{V,Instructions}|T], Acc) ->
      Mods = modules_of2(Instructions, []),
      modules_of(T, [{V, Mods}|Acc]).
   
  modules_of2([], Acc) ->
      lists:reverse(Acc);
  
negative.code: %%
  %% %CopyrightBegin%
  %% 
  %% Copyright Ericsson AB 2002-2013. All Rights Reserved.
  %% 
  %% The contents of this file are subject to the Erlang Public License,
  %% Version 1.1, (the "License"); you may not use this file except in
  