Assume $u\in L^2(\mathbb{R}^n)$ and let $(x_0, \xi _0) \in T^\ast \mathbb{R}^n = \mathbb{R}^n_x \times \mathbb{R}^n_\xi $. Assume I can find $a\in C^\infty (T^\ast \mathbb{R}^n)$ which is also bounded with all derivatives and $a(x,\xi ) = 1$ in a neighborhood of $(x_0, \xi _0)$. Without loss of generality we may even assume $a\in C _0 ^\infty (T^\ast \mathbb{R}^n)$ and still equal to 1 near $(x_0, \xi _0)$. Assume moreover that we know
$$\| \operatorname{Op} [a]u \|_{L^2(\mathbb{R}^n)} \le Ch^s$$
where
$$\operatorname{Op} [a]u(x) := \frac{1}{(2\pi h)^{n/2}}\iint \limits_{T^\ast \mathbb{R}^n}e^{\tfrac{i}{h}(x-y)\cdot \xi }a(\tfrac{x+y}{2},\xi )u(y)\, dy\, d\xi .$$
Is this enough to conclude that there is some neighborhood $U$ of $x_0$ such that
$$\| u \|_{L^2(U)} \le Ch^s \quad ? $$
If not, what kind of condition would be sufficient?