1 2 3 4 5 6
; EXPECT: unsat (set-logic ALL) (set-option :incremental false) (declare-fun A () Int) (declare-fun B () Int) (check-sat-assuming ( (not (let ((_let_1 (not (= A B)))) (= _let_1 _let_1))) ))