Rodin Multi-Simulation for the ProB 2.0