functional.sqlancer.osdi20_rigger_example_01_test. Partial index must not use incorrect assumption that 'c0 IS NOT 1' implied 'c0 NOT NULL'