(+ x 1) | x
(v1 x) | (v4 x)
(+ y (+ x 1)) | (+ y x)
