anchor.diff:      , fun add_missing_file/1
         %% We need group multiples to find excluded files before loading
       , fun group_multiples/1
  +    , fun initialize_loader/1
       , fun load_files/1
       , fun add_options_from_module/1
       , fun add_derived_defaults/1
  
positive.code: 
  %%%-----------------------------------------------------------------------------
  
  load_files(Options) ->
    Excluded = proplists:get_value(exclude_module, Options, []),
    case concuerror_loader:initialize(Excluded) of
      ok ->
        case proplists:get_all_values(file, Options) of
          [] -> Options;
          Files ->
            NewOptions = proplists:delete(file, Options),
            compile_and_load(Files, [], false, NewOptions)
        end;
      {error, Error} ->
        opt_error(Error)
    end.
  
  compile_and_load([], [_|More] = LoadedFiles, LastModule, Options) ->
    MissingModule =
      case
  
negative.code:       true -> [{module, LastModule}];
        false -> []
      end,
    NewOptions = proplists:delete(files, proplists:delete(file, Options)),
    MissingModule ++ [{files, lists:sort(LoadedFiles)}|NewOptions];
  compile_and_load([File|Rest], Acc, _LastModule, Options) ->
    case concuerror_loader:load_initially(File) of
      {ok, Module, Warnings} ->
  