add fallthrough jumps from all cases to the one after them
add assert