Add information about game states to the spec