Removed overassertions added recently for debugging purposes.