added new instrumentation: assertion check for out of bounds indexing of a dynamic array