Unexpected Results by table_elimination

CREATE TABLE t0(c0 FLOAT);

CREATE TABLE t1(c0 FLOAT);

INSERT INTO t0 VALUES (DEFAULT), (DEFAULT);

INSERT INTO t1 VALUES (1);

CREATE UNIQUE INDEX ic0 USING BTREE ON t0(c0 ASC);

SELECT t1.c0 FROM t1 LEFT JOIN t0 ON (t0.c0 IS NULL); -- {1}

SET SESSION optimizer_switch = 'table_elimination=off';

SELECT t1.c0 FROM t1 LEFT JOIN t0 ON (t0.c0 IS NULL); -- {1}, {1}