https://123dok.net/document/yr30xlwv-spec-an-equivalence-checker-for-security-protocols.html