fix(spl): avoid unreachable branch caused by lookupDiscrAux#888

jberthold merged 1 commit intofeature/p-tokenruntimeverification/mir-semantics:feature/p-tokenfrom

jh/spl/avoid-unreachable-remoteruntimeverification/mir-semantics:jh/spl/avoid-unreachable-remoteCopy head branch name to clipboard