(define x::int) (define y::int) (define s::int) (assert (= x (- 2/3 (* 1/3 s)))) (assert (= y (+ -2/3 (* 2/3 s)))) (dump-context) (check)