-record(quantified, {
    op :: binary(),
    left :: sqlode@query_ir:expr(),
    quantifier :: sqlode@query_ir:quantifier(),
    right :: sqlode@query_ir:expr()
}).