test/regress/regress0/printer/empty_symbol_name.smt2

   1 ; EXPECT: sat
   2 ; EXPECT: ((|| (_ bv1 4)))
   3 (set-option :produce-models true)
   4 (set-logic QF_BV)
   5 (declare-const || (_ BitVec 4))
   6 (assert (= || #b0001))
   7 (check-sat)
   8 (get-value (||))