If you are throwing exception when assumptions are not met, you should call the function "assertServerInNormalState"