getOrThrow

StateTestDisjStringExt