diversifying Simulation#pm to pretty print the marking