rename `EXPECT` to `ASSERT`