Issue #5: Added a VAST transformation which extracts the index expressions of memory accesses into temporary variable assignments