PROBCORE-624 Refactored AbstractModel so that it receives a StateSpace provider as a parameter instead of a StateSpace itself. Now a ProB instance is lazily created, and only when the developer calls the getStateSpace() method.