anchor.diff:         (Any) -> Any
       end.
   
  +remap([{'%',_}=I|Is], Map, Acc) ->
  +    remap(Is, Map, [I|Acc]);
   remap([{block,Bl0}|Is], Map, Acc) ->
       Bl = remap_block(Bl0, Map, []),
       remap(Is, Map, [{block,Bl}|Acc]);
  
positive.code:     safe_labels(Is, Acc);
  safe_labels([], Acc) -> cerl_sets:from_list(Acc).
  
  is_safe_label([{line,_}|Is]) ->
      is_safe_label(Is);
  is_safe_label([{badmatch,{Tag,_}}|_]) ->
  
negative.code: %%  This function handles the same instructions as frame_size/2. It
  %%  assumes that any labels in the instructions are safe labels.
  
  is_not_used(Y, [{'%',_}|Is]) ->
      is_not_used(Y, Is);
  is_not_used(Y, [{apply,_}|Is]) ->
      is_not_used(Y, Is);
  is_not_used(Y, [{bif,_,{f,_},Ss,Dst}|Is]) ->
  