Enhance SCEV's brute force loop analysis to handle multiple PHI nodes in the