Add back cbv zeta in iIntoValid.

2 jobs for gen_proofmode in 11 minutes and 18 seconds (queued for 2 seconds)