(block (= y (+ x 1)))
