public void visitArrayRefExpr(final ArrayRefExpr expr) {
		// NullPointerException, ArrayIndexOutOfBoundsException,
		// ArrayStoreException
		sideEffects |= SideEffectChecker.THROW;

		if (expr.isDef()) {
			sideEffects |= SideEffectChecker.STORE;
		}

		sideEffects |= SideEffectChecker.ALIAS;

		expr.visitChildren(this);
	}