Add one more assert that indirectly interlocking conditions are consistent
with each other.
1 file changed