anchor.diff:  			MessageType = message_type_from_args(A),
   			% io:format("message type from send: ~p~n", [MessageType]),
   
  -			St#state{sends = sets:add_element(MessageType, St#state.sends)};
  +			St#intraprocedural_state{sends = sets:add_element(MessageType, St#intraprocedural_state.sends)};
   		_ ->
   			St
   	end.
  
positive.code: 					  sends = sets:new()}),
  %%%     io:fwrite("dependencies: ~p.\n",
  %%%  	      [[{X, set__to_list(Y)}
  %%%   		|| {X, Y} <- dict:to_list(St#state.dep)]]),
      {dict:fetch(top, St#state.out),
       tidy_dict([start, top, external], St#state.out),
       dict:fetch(escape, St#state.vars),
       tidy_dict([intraprocedural_loop], St#state.dep),
  	 St#state.par,
  	 St#state.sends}.
  
  tidy_dict([X | Xs], D) ->
      tidy_dict(Xs, dict:erase(X, D));
  
negative.code:     Vars1 = dict:store(escape, from_label_list([top, external]), Vars),
  
      %% Enter the fixpoint iteration at the StartFun.
      St = intraprocedural_loop(StartFun, start, #intraprocedural_state{vars = Vars1, 
  					  out = Out,
  				      dep = dict:new(),
  				      work = init_work(),
  