This can be rewritten as

CASE WHEN COUNT(*) FILTER (WHERE ...) > 0 THEN 1 ELSE 0 END

This rewrite should probably be made in Calcite.