Fix PR25372 - teach replaceCongruentPHIs to handle cases where SE evaluates a PHI...