anchor.diff:  
   -include("beam_ssa.hrl").
   -import(lists, [any/2,droplast/1,foldl/3,last/1,member/2,
  -                reverse/1,search/2,sort/1]).
  +                reverse/1,sort/1]).
   
   -define(UNICODE_INT, #t_integer{elements={0,16#10FFFF}}).
   
  
positive.code:             Sw
      end.
  
  simplify_not(#b_br{bool=#b_var{name=V},succ=Succ,fail=Fail}=Br, Ts, Ds) ->
      case Ds of
          #{V:=#b_set{op={bif,'not'},args=[Bool]}} ->
              case t_is_boolean(get_type(Bool, Ts)) of
                  true ->
                      Br#b_br{bool=Bool,succ=Fail,fail=Succ};
                  false ->
                      Br
              end;
          #{} ->
              Br
      end.
  
  get_literals(Values, Ts) ->
  
negative.code: will_succeed(_, _) -> maybe.
  
  
  band_type([Other,#b_literal{val=Int}], Ts) when is_integer(Int) ->
      band_type_1(Int, Other, Ts);
  band_type([_,_], _) -> t_integer().
  