anchor.diff:  needs_fcheckerror([], _State, Acc) ->
     Acc.
   
  --spec add_fp_ebb_fixup(none | icode_lbl(), icode_lbl(), #state{}) -> #state{}.
  +-spec add_fp_ebb_fixup(none | icode_lbl(), icode_lbl(), state()) -> state().
   
   add_fp_ebb_fixup('none', To, State) ->
     %% Add the fcheckerror to the start of the block.
  
positive.code: finalize([], State) ->
    State.
  
  -spec needs_fcheckerror(#state{}) -> [{none | icode_lbl(), icode_lbl()}].
  
  needs_fcheckerror(State) ->
    Cfg = state__cfg(State),
    Labels = hipe_icode_cfg:labels(Cfg),
    needs_fcheckerror(Labels, State, []).
  
  -spec needs_fcheckerror([icode_lbl()], #state{},
  			[{none | icode_lbl(), icode_lbl()}])
  		       -> [{none | icode_lbl(), icode_lbl()}].
  
  
negative.code:       fixpoint
    end.
  
  -spec state__join_in_block(state(), icode_lbl())
  			  -> fixpoint | {state(), in_block()}.
  
  state__join_in_block(S = #state{fp_ebb_map = Map}, Label) ->
    Pred = state__pred(S, Label),
  