## Summary
<!--Explain briefly what goes wrong and explain why you believe this is a bug and not the intended behavior of SQLite (if it is not a crash).-->**No review yet**

## Minimized query

```sql
PRAGMA encoding = 'UTF-16le';
CREATE TABLE [t0](c0);
INSERT INTO t0(c0) VALUES (NULL);
CREATE INDEX i0 ON t0(json_remove(unixepoch(unistr_quote('Hello')), '$')) WHERE NOT c0 NOT NULL;
SELECT '-Inf' FROM /* {"a":1,"b":[1,2,3]} */ t0 WHERE (t0.c0 IS FALSE) IS FALSE;
SELECT 1 FROM t0 WHERE (t0.c0 IS FALSE) BETWEEN FALSE AND TRUE;

ALTER TABLE t0 RENAME TO t0_r5716;
```

## Actual output

```sql
-Inf
1
```

## Expectation

```sql

```

## Flag

```

```