ArrayBoundsCheckPass now adds variable names to each call as metadata