Replace deprecated (in doc) Truth.ASSERT.