anchor.diff:  equal_ops([], []) -> true;
   equal_ops(_, _) -> false.
       
  -shortcut_select_list([{_,Val}=Lit,{f,To0}|T], Reg, D, Acc) ->
  -    To = shortcut_select_label(To0, Reg, Val, D),
  +shortcut_select_list([Lit,{f,To0}|T], Reg, D, Acc) ->
  +    To = shortcut_select_label(To0, Reg, Lit, D),
       shortcut_select_list(T, Reg, D, [{f,To},Lit|Acc]);
   shortcut_select_list([], _, _, Acc) -> reverse(Acc).
   
  
positive.code:     Fail = shortcut_bs_test(Fail1, Is, D),
      Sel = {select,select_val,Reg,{f,Fail},List},
      backward(Is, D, [Sel|Acc]);
  backward([{jump,{f,To0}},{move,Src,Reg}=Move0|Is], D, Acc) ->
      {To,Move} = case Src of
  		    {atom,Val0} ->
  			To1 = shortcut_select_label(To0, Reg, Val0, D),
  			{To2,Val} = shortcut_boolean_label(To1, Reg, Val0, D),
  			{To2,{move,{atom,Val},Reg}};
  		    _ ->
  			{shortcut_label(To0, D),Move0}
  		end,
      Jump = {jump,{f,To}},
      case beam_utils:is_killed_at(Reg, To, D) of
  	false -> backward([Move|Is], D, [Jump|Acc]);
  
negative.code: backward([{test,bs_start_match2,{f,To0},Live,[Src|_]=Info,Dst}|Is], D, Acc) ->
      To = shortcut_bs_start_match(To0, Src, D),
      I = {test,bs_start_match2,{f,To},Live,Info,Dst},
      backward(Is, D, [I|Acc]);
  backward([{test,Op,{f,To0},Ops0}|Is], D, Acc) ->
      To1 = shortcut_bs_test(To0, Is, D),
  