public void visitArrayRefExpr(final ArrayRefExpr expr) {
		if (expr.array() != null) {
			expr.array().visit(this);
		}
		print("[");
		if (expr.index() != null) {
			expr.index().visit(this);
		}
		print("]");
	}