[getUnderlyingOjbects] Analyze loop PHIs further to remove false positives