remove dead, unreachable code not relevant to test case
use assert_unreached