Fix rewriting of PHI nodes.