I see no much reason for moving `SANITY_CHECK()` into `if()`.