Make lambda rewriter more robust (#3806)

[cvc5.git] / test / regress / regress0 / logops.02.cvc

a, b, c: BOOLEAN;
% EXPECT: invalid
QUERY NOT c AND b;