added assertions for testing the state of a previously saved Region object