https://123dok.net/document/yevn4300-symbolic-protocol-analysis-for-monoidal-equational-theories.html