Added variable_tag to MemAccess; GlobalMemAccessCounter tracking variable tags.
Added variable_tag to MemAccess; GlobalMemAccessCounter tracking variable tags for tagged global variables.
Will attempt to make variable tags survive certain transformations in separate merge request.