bug

liuz@intel:~$ cat a
%0 = block 2
%1:i16 = var
%2:i1 = eq 0:i16, %1
%3:i16 = select %2, 40:i16, 47:i16
%4:i16 = addnw 2:i16, %3
%5:i16 = phi %0, %4, %4
%6:i16 = var
%7:i1 = slt %6, 0:i16
%8:i16 = subnsw 0:i16, %6
%9:i16 = select %7, %8, %6 (hasExternalUses)
%10:i16 = addnuw %5, %9
infer %10
liuz@intel:~$ cat b
%0 = block 2
%1:i16 = var
%2:i1 = eq 0:i16, %1
%3:i16 = select %2, 40:i16, 47:i16
%4:i16 = addnw 2:i16, %3
%6:i16 = var
%7:i1 = slt %6, 0:i16
%8:i16 = subnsw 0:i16, %6
%9:i16 = select %7, %8, %6 (hasExternalUses)
%10:i16 = addnuw %4, %9
infer %10
liuz@intel:~$ work/build/souper-check -z3-path=/usr/bin/z3 -infer-rhs -infer-range ~/a
known from souper: [42,-32718)
liuz@intel:~$ work/build/souper-check -z3-path=/usr/bin/z3 -infer-rhs -infer-range ~/b
known from souper: [42,-32719)