modification of the function getAllInitialState renamed to
generateAllItiniateState,

Now, the generated initial states are directly added to the model
checker