anchor.diff:  %%%----------------------------------------------------------------------
   %%% Definitions
   %%%----------------------------------------------------------------------
  -
  --define(INCLUDE_DIR, filename:absname("include")).
   
   %% Instrumented auto-imported functions of 'erlang' module.
   -define(INSTR_ERLANG_NO_MOD,
  
positive.code:     %% TODO: For now using the default and the test directory include path.
      %%       In the future we have to provide a means for an externally
      %%       defined include path (like the erlc -I flag).
      case epp:parse_file(File, [?INCLUDE_DIR, filename:dirname(File)], []) of
  	{ok, OldForms} ->
  	    ExpRecForms = erl_expand_records:module(OldForms, []),
  	    Tree = erl_recomment:recomment_forms(ExpRecForms, []),
  
negative.code:     %% Compilation of original file without emitting code, just to show
      %% warnings or stop if an error is found, before instrumenting it.
      log:log("Validating file ~p...~n", [File]),
      PreOptions = [strong_validation, verbose, return],
      case compile:file(File, PreOptions) of
  	{ok, Module, Warnings} ->
  	    %% Log warning messages.
  