let
setNumberOfStates nbSt = numberOfStates:= nbSt