IPA ICF: fix verifier.