Same here, `set(true) | set(pred)` is computed twice.