What are sufficient conditions for a von Neumann algebra to have a first countable set of states with respect to the weak * operator topology?