KNOWNBUG
main.c

^\*\* Results:$
^\[main.assertion.1\] line 12 assertion tmp_if_expr(\$\d+)?: FAILURE$
^\[main.assertion.2\] line 13 assertion tmp_if_expr\$\d+: SUCCESS$
^\*\* 1 of 2 failed
^VERIFICATION FAILED$
^EXIT=10$
^SIGNAL=0$
--
^warning: ignoring
--
This produces the expected verification result, but actually ignores some
quantifiers.
