In that case, your ending `return ''` doesn't make sense to me. But perhaps that's never reached? If not, I'd just do invariant(false); there.