1 2 3 4 5 6 7
; COMMAND-LINE: --strings-exp ; EXPECT: sat (set-logic HO_ALL) (declare-fun a (Bool) Bool) (assert (a false)) (assert (a true)) (check-sat)