public boolean arrayRefRedefined(ArrayRef lARef, List<ValueBox> rUseBoxes) {
for (ValueBox rUseBox : rUseBoxes) {
Value rBoxValue = rUseBox.getValue();
if (rBoxValue instanceof ArrayRef) {
ArrayRef rARef = (ArrayRef) rBoxValue;
if (twoValueEquals(lARef.getBase(), rARef.getBase())
&& twoValueEquals(lARef.getIndex(), rARef.getIndex())) {
return true;
}
}
}
return false;
}
