1 2 3 4 5 6
; COMMAND-LINE: --fmf-fun ; EXPECT: sat (set-logic ALL) (define-fun-rec f ((x Int)) Bool false) (assert (not (f 0))) (check-sat)