1 (set-option :incremental false)
4 (declare-fun f (Int) Int)
5 (declare-fun x1 () Int)
6 (declare-fun y1 () Int)
7 (declare-fun x2 () Int)
8 (declare-fun y2 () Int)
10 (declare-fun b () Int)
13 (assert (= (f x1) (f y1)))
16 (check-sat-assuming ( true ))