@BalarkaSen I think I already recommended the phase space formulation of QM to you last time. In that case, $\hbar \to 0$ really is a straightforward limit - the quantum mechanical commutator is given by the
Moyal bracket, and $\hbar \to 0$ really does just reduce it to the Poisson bracket