Index value is set for each element of an aggregate, instead of just an aggregate

NOTE added in KLEEBuilder.cpp for ExtractVal instruction for details.