The result of EXPLAIN QUERY PLAN shows that it is using the index to implement the t1.c0 constraint. I think it is checking constraints (on each table) vs indices (on the same tables) and finds that the index is useless for the t1.c1 constraint. But it has to check anyway.