Support ackermannization on uninterpreted sorts in BV (#3372)

[cvc5.git] / test / regress / regress0 / test9.cvc

% EXPECT: valid
P,Q:BOOLEAN;
ASSERT (P OR Q);
QUERY (P OR Q);