1 2 3 4 5 6 7 8
; COMMAND-LINE: --incremental ; EXPECT: sat (set-logic UF) (push 1) (declare-fun _substvar_4_ () Bool) (assert _substvar_4_) (assert _substvar_4_) (check-sat)