diff -U3 /tmp/cirrus-ci-build/src/test/modules/test_predtest/expected/test_predtest.out /tmp/cirrus-ci-build/src/test/modules/test_predtest/results/test_predtest.out --- /tmp/cirrus-ci-build/src/test/modules/test_predtest/expected/test_predtest.out 2026-02-13 01:27:20.539057134 +0000 +++ /tmp/cirrus-ci-build/src/test/modules/test_predtest/results/test_predtest.out 2026-02-13 01:33:07.731019294 +0000 @@ -125,86 +125,56 @@ select x is not true, x from booleans $$); --[ RECORD 1 ]-----+-- -strong_implied_by | f -weak_implied_by | f -strong_refuted_by | t -weak_refuted_by | t -s_i_holds | f -w_i_holds | f -s_r_holds | t -w_r_holds | t - +ERROR: no relation entry for relid 1 +CONTEXT: SQL statement " +select x is not true, x +from booleans +" select * from test_predtest($$ select x, x is not true from booleans $$); --[ RECORD 1 ]-----+-- -strong_implied_by | f -weak_implied_by | f -strong_refuted_by | f -weak_refuted_by | f -s_i_holds | f -w_i_holds | f -s_r_holds | f -w_r_holds | t - +ERROR: no relation entry for relid 1 +CONTEXT: SQL statement " +select x, x is not true +from booleans +" select * from test_predtest($$ select x is false, x from booleans $$); --[ RECORD 1 ]-----+-- -strong_implied_by | f -weak_implied_by | f -strong_refuted_by | t -weak_refuted_by | t -s_i_holds | f -w_i_holds | f -s_r_holds | t -w_r_holds | t - +ERROR: no relation entry for relid 1 +CONTEXT: SQL statement " +select x is false, x +from booleans +" select * from test_predtest($$ select x, x is false from booleans $$); --[ RECORD 1 ]-----+-- -strong_implied_by | f -weak_implied_by | f -strong_refuted_by | t -weak_refuted_by | t -s_i_holds | f -w_i_holds | f -s_r_holds | t -w_r_holds | t - +ERROR: no relation entry for relid 1 +CONTEXT: SQL statement " +select x, x is false +from booleans +" select * from test_predtest($$ select x is unknown, x from booleans $$); --[ RECORD 1 ]-----+-- -strong_implied_by | f -weak_implied_by | f -strong_refuted_by | t -weak_refuted_by | t -s_i_holds | f -w_i_holds | f -s_r_holds | t -w_r_holds | t - +ERROR: no relation entry for relid 1 +CONTEXT: SQL statement " +select x is unknown, x +from booleans +" select * from test_predtest($$ select x, x is unknown from booleans $$); --[ RECORD 1 ]-----+-- -strong_implied_by | f -weak_implied_by | f -strong_refuted_by | f -weak_refuted_by | f -s_i_holds | f -w_i_holds | t -s_r_holds | f -w_r_holds | t - +ERROR: no relation entry for relid 1 +CONTEXT: SQL statement " +select x, x is unknown +from booleans +" -- Assorted not-so-trivial refutation rules select * from test_predtest($$ select x is null, x