Add yet another test case for PR 8015, showing how reasoning over symbolic...

Add yet another test case for PR 8015, showing how reasoning over symbolic indices should exactly resolve over multiple index possibilities (and thus suppress the false positive in the test).

llvm-svn: 112770