ProB 2 Documentation