Support ackermannization on uninterpreted sorts in BV (#3372)

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

% EXPECT: valid
a:BOOLEAN;
b:BOOLEAN;
ASSERT(a);
QUERY(a OR b);