anchor.diff:        max_dependent(Cmd1, Trace, ClockMap, Acc)
     end.
   
  --ifdef(DEBUG).
  +-ifdef(STACK).
   
   get_stack(Trace) ->
     get_stack(Trace, []).
  
positive.code: 
  %%------------------------------------------------------------------------------
  
  %% Sample Input
  
  %% The following program has 5 processes: m (main), a & b (sender), c & d
  %% (receiver).
  
  %% main() ->
  %%     Parent = self(),
  
negative.code: 
  -module(flanagan).
  
  -export([test/1, explore/2]).
  
  %% -define(DEBUG, true).
  %% -define(STEPWISE, true).
  %% -define(STATS, true).
  
  -ifdef(DEBUG).
  -define(STACK, true).
  -endif.
  
  %%------------------------------------------------------------------------------
  
  