重新定义 \mathlig（语义包）时超出 tex 容量

Question

按照\mathlig 可以在文档的稍后部分进行更改吗？，这个例子是可能的：

\documentclass{article}
\usepackage[ligature]{semantic}

\begin{document}
\mathlig{|-}{\vdash}

First definition: $|-$

\mathlig{|-}{\vdash_\tau}
Second definition: $|-$
\end{document}

但是，当我在更大的文档中尝试它时，出现此错误：

! TeX capacity exceeded, sorry [input stack size=5000].
\do #1#2#3->\mathcode `#1
                         ="8000

抱歉，无法提供最小的工作示例，我不确定文档需要多大才能出现错误。如果您能提供任何关于导致此问题的原因以及从哪里开始查找的想法，我将不胜感激。