add set-logic ALL clause to stop cvc5 warning