Verifications could be removed since there are no usages of `a` in the `forEach` closure.