ydb/yql/essentials/tests/s-expressions/suites/Optimizers/IfOverNotPredicate.yqls

(
#comment
(let config (DataSource 'config))

(let res_sink (DataSink 'result))
(let data (If (Not (ListHas (AsList (Uint32 '1)) (Uint32 '1))) (String 'a) (String 'b)))
(let world (Write! world res_sink (Key) data '('('type))))
(let world (Commit! world res_sink))
(return world)
)