test/regress/regress0/issue5550-num-children.smt2

   1 ; EXPECT: sat
   2 (set-logic UFC)
   3 (declare-sort a 0)
   4 (declare-fun b () a)
   5 (assert (not (_ fmf.card a 1)))
   6 (check-sat)