Add one more assert that indirectly interlocking conditions are consistent

with each other.