Analyze recursive PHI nodes in BasicAA