anchor.diff:  	ok.
   
   %% ===========================================================================
  -%% annotate(Tree) -> {Tree1, OutList, Outputs, Escapes, Dependencies, Parents, Sends}
  +%% annotate(Tree) -> {Tree1, OutList, Outputs, Escapes, Dependencies, Parents, Sends, Applys}
   %%
   %%	    Tree = cerl:cerl()
   %%
  
positive.code: 	    visit(seq_body(T), L, St1);
  	apply ->
  		% io:format("=> apply found ~p~n", [T]),
  	    {Xs, St1} = visit(apply_op(T), L, St),
  	    {As, St2} = visit_list(apply_args(T), L, St1),
  	    case Xs of
  
negative.code:      dict:fetch(escape, St#intraprocedural_state.vars),
       tidy_dict([intraprocedural_loop], St#intraprocedural_state.dep),
  	 St#intraprocedural_state.par,
  	 St#intraprocedural_state.sends,
  	 St#intraprocedural_state.applys}.
  
  tidy_dict([X | Xs], D) ->
      tidy_dict(Xs, dict:erase(X, D));
  