anchor.diff:              %% Instrument given source file.
               concuerror_log:log(1, "\nInstrumenting file ~p... ", [File]),
               case instrument(OldModule, File, Includes, Defines) of
  -                {ok, NewFile, NewForms} ->
  +                {ok, NewFile, NewForms, NumOfLines} ->
  +                    concuerror_log:log(1,
  +                        "\nFile ~p successfully instrumented "
  +                        "(~p total lines of code).", [File, NumOfLines]),
                       %% Compile instrumented code.
                       %% TODO: More compile options?
                       CompOptions =
  
positive.code:             Replacement = binary:list_to_bin(
                  "-module(" ++ NewModuleStr ++ ")."),
              NewBinary = binary:replace(Binary, Pattern, Replacement),
              %% Write new file in temp directory
              case file:write_file(NewFile, NewBinary) of
                  ok    -> {ok, NewFile};
                  Error -> Error
              end;
          Error ->
  
negative.code:                     case Verbosity of
                          0 -> concuerror_log:log(0, " done\n");
                          _ -> concuerror_log:log(0,
                                  "\nInstrumenting files (~p total lines of code)"
                                  "... done\n", [NumOfLines])
                      end,
                      {ok, MFBs}
              end;
  