Add an assertion to reflect unreachable code