ProB 2.0