1 2 3 4 5 6
; EXPECT: unsat ; COMMAND-LINE: --sygus-inference --fmf-bound --uf-ho (set-logic ALL) (declare-fun a () (_ BitVec 1)) (assert (bvsgt (bvsmod a a) #b0)) (check-sat)