public void visitArrayRefExpr(final ArrayRefExpr expr) {
		if (expr.array == from) {
			expr.array = (Expr) to;
			((Expr) to).setParent(expr);
		} else if (expr.index == from) {
			expr.index = (Expr) to;
			((Expr) to).setParent(expr);
		} else {
			expr.visitChildren(this);
		}
	}