llvm-reduce's attribute reduction should not try to remove convergent attribute if convergence tokens are in used #132695
Description
The verifier will complain if convergence tokens are used in a function that is not marked convergent. The reduction should skip functions which use them