Updating assertions for easier debugging