anchor.diff:  	    visit(seq_body(T), L, St1);
   	apply ->
   		% io:format("=> apply found ~p~n", [T]),
  +		% io:format("=> apply op ~p~n", [cerl:apply_op(T)]),
  +		% io:format("=> apply args ~p~n", [cerl:apply_args(T)]),
   	    {Xs, St1} = visit(apply_op(T), L, St),
   	    {As, St2} = visit_list(apply_args(T), L, St1),
   	    case Xs of
  
positive.code: 	ok.
  
  %% ===========================================================================
  %% annotate(Tree) -> {Tree1, OutList, Outputs, Escapes, Dependencies, Parents, Sends}
  %%
  %%	    Tree = cerl:cerl()
  %%
  
negative.code: 								_ ->
  									% io:format("Receive of message type: ~p~n", [MessageType]),
  									Body = cerl:clause_body(Clause),
  									Sends = interprocedural(NamesToFunctions, Body),
  									% io:format("* Emits the following types of messages: ~p~n", [sets:to_list(Sends)]),
  									% io:format("~n", []),
  									dict:append_list(MessageType, sets:to_list(Sends), Dict1)
  