; (y o x + 1)[31] = (x + y)[30]

(=
 {bitsel {bitplus @32 {bitcat [bitvec 1 y] [bitvec 30 x]} {bitconst 1}} 31 31}
 {bitsel {bitplus @31 x y} 30 30}))