anchor.diff:         Ts0, Ds0, Ls, Fdb0, Sub0, Meta, Acc) when MakeFun =:= make_fun;
                                                    MakeFun =:= old_make_fun ->
       Args = simplify_args(Args0, Ts0, Sub0),
  -    I1 = beam_ssa:normalize(I0#b_set{args=Args}),
  +    I1 = I0#b_set{args=Args},
   
       {I, Fdb} = opt_make_fun(I1, Ts0, Fdb0, Meta),
   
  
positive.code:     Args = simplify_args(Args0, Ts0, Sub),
      I1 = beam_ssa:normalize(I0#b_set{args=Args}),
      case simplify(I1, Ts0) of
          #b_set{}=I2 ->
              I = beam_ssa:normalize(I2),
              Ts = update_types(I, Ts0, Ds0),
              Ds = Ds0#{ Dst => I },
              {I, Ts, Ds};
  
negative.code:                dst=Dst}=I0 | Is],
         Ts0, Ds0, Ls, Fdb, Sub, Meta, Acc) ->
      Args = simplify_args(Args0, Ts0, Sub),
      I1 = I0#b_set{args=Args},
  
      [Fun | _] = Args,
      I = case normalized_type(Fun, Ts0) of
  