1 2 3 4 5
; COMMAND-LINE: --produce-abducts ; EXPECT: none (set-logic ALL) (assert (= 0.0 (sqrt 1.0))) (get-abduct A false)