1 2 3 4 5 6 7
; COMMAND-LINE: --sort-inference --no-check-models ; EXPECT: sat (set-logic ALL) (set-info :status sat) (declare-fun a () Bool) (assert a) (check-sat)