Removed debug stuff
Reference arrays assigned taint object, array-length instrumented