Wigner trajectories and Liouville’s theorem