Fix CFI proofs.