public void visitArrayRefExpr(final ArrayRefExpr expr) {

		if (previous == expr.array()) { // the array reference is like the
			previous = expr; // left child
			expr.parent().visit(this);
		} else if (previous == expr.index()) {
			check(expr.array()); // right child
		}
	}