anchor.diff:  state__store_callsite(_From, #output{content = none}, _CallArity, State) ->
     State;
   state__store_callsite(From, To, CallArity, 
  -		      #state{call = Calls, arities = Arities} = State) ->
  +		      #state{calls = Calls, arities = Arities} = State) ->
     Filter = fun(external) -> true;
   	      (Fun) -> CallArity =:= dict:fetch(Fun, Arities) 
   	   end,
     case filter_outs(To, Filter) of
       #output{content = none} -> State;
  -    To1 -> State#state{call = map__store(From, To1, Calls)}
  -  end.
  -
  -state__calls(#state{call = Calls}) ->
  +    To1 -> State#state{calls = map__store(From, To1, Calls)}
  +  end.
  +
  +state__calls(#state{calls = Calls}) ->
     Calls.
   
   %%------------------------------------------------------------
  
positive.code:   %% init the escaping function labels to exported + called from on_load
    InitEsc = set__from_list(OnLoadLs ++ ExpLs),
    Arities = cerl_trees:fold(fun find_arities/2, dict:new(), Tree),
    #state{deps = map__new(), esc = InitEsc, call = map__new(),
  	 arities = Arities, letrecs = map__new()}.
  
  find_arities(Tree, AccMap) ->
  
negative.code: 
  -type local_set() :: 'none' | #set{}.
  
  -record(state, {deps    :: deps(),
  		esc     :: local_set(), 
  		calls   :: calls(),
  		arities :: dict:dict(label() | 'top', arity()),
  		letrecs :: letrecs()}).
  
  state__new(Tree) ->
    Exports = set__from_list([X || X <- cerl:module_exports(Tree)]),
  