Verifier complains about kept PhiM node.