shrink: Fix unsound pattern
qc: Fix use of .any()